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