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