Documentation available at https://github.com/eclipse-jdt/eclipse.jdt.debug/tree/9ba1b48dbd278adb806a250b08ba3c1d8ffa8a9e/org.eclipse.jdt.launching