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