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