org.eclipse.ui.externaltools/.options - platform/eclipse.platform.debug - Git at Google

 # Debugging options for the org.eclipse.ui.externaltools plugin.