# Debugging options for the org.eclipse.core.variables plugin.