---------- 1. WARNING in /builds/maintenance/src/plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/OptionsConfigurationBlock.java (at line 19) import org.eclipse.core.resources.IWorkspace; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The import org.eclipse.core.resources.IWorkspace is never used ---------- 1 problem (1 warning)