/** * Tells whether the compliance option is the same as the original default. * * @return <code>true</code> if the compliance is the same as the original default * @since 3.6 */ private static final boolean isOriginalDefaultCompliance() { Hashtable<String, String> options= JavaCore.getDefaultOptions(); Preferences bundleDefaults= BundleDefaultsScope.INSTANCE.getNode(JavaCore.PLUGIN_ID); return equals(JavaCore.COMPILER_COMPLIANCE, bundleDefaults, options) && equals(JavaCore.COMPILER_SOURCE, bundleDefaults, options) && equals(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, bundleDefaults, options) && equals(JavaCore.COMPILER_PB_ASSERT_IDENTIFIER, bundleDefaults, options) && equals(JavaCore.COMPILER_PB_ENUM_IDENTIFIER, bundleDefaults, options); }