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