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