Buggy code:
public static final String TAB = "tab" ; public static final String SPACE = "space" ; public static final String ENABLED = "enabled" ; public static final String DISABLED = "disabled" ; public static final String CLEAN = "clean" ; public static final String PUBLIC = "public" ; public static final String PROTECTED = "protected" ; public static final String DEFAULT = "default" ; public static final String PRIVATE = "private" ; public JavaCore ( IPluginDescriptor pluginDescriptor ) { } public static void addElementChangedListener ( IElementChangedListener listener ) { } public static void addElementChangedListener ( IElementChangedListener listener , int eventMask ) { } public static void addJavaElementMarkerAttributes ( Map attributes , IJavaElement element ) { } public void configureJavaElementMarker ( IMarker marker , IJavaElement element ) throws CoreException { } public static IJavaElement create ( String handleIdentifier ) { } public static IJavaElement create ( String handleIdentifier , WorkingCopyOwner owner ) { } public static IJavaElement create ( IFile file ) { } public static IJavaElement create ( IFolder folder ) { } public static IJavaProject create ( IProject project ) { } public static IJavaElement create ( IResource resource ) { } public static IJavaModel create ( IWorkspaceRoot root ) { } public static IClassFile createClassFileFrom ( IFile file ) { } public static ICompilationUnit createCompilationUnitFrom ( IFile file ) { } public static IPackageFragmentRoot createJarPackageFragmentRootFrom ( IFile file ) { } public static IClasspathContainer getClasspathContainer ( final IPath containerPath , final IJavaProject project ) throws JavaModelException { } public static ClasspathContainerInitializer getClasspathContainerInitializer ( String containerID ) { } public static IPath getClasspathVariable ( final String variableName ) { } public static ClasspathVariableInitializer getClasspathVariableInitializer ( String variable ) { } public static String [ ] getClasspathVariableNames ( ) { } public static Hashtable getDefaultOptions ( ) { } public static JavaCore getJavaCore ( ) { } public static String getOption ( String optionName ) { } public static Hashtable getOptions ( ) { Hashtable options = new Hashtable ( 10 ) ; Plugin plugin = JavaCore . getPlugin ( ) ; if ( plugin != null ) { Preferences preferences = JavaCore . getPlugin ( ) . getPluginPreferences ( ) ; HashSet optionNames = OptionNames ; String [ ] defaultPropertyNames = preferences . defaultPropertyNames ( ) ; for ( int i = 0 ; i < ( defaultPropertyNames . length ) ; i ++ ) { String propertyName = defaultPropertyNames [ i ] ; if ( optionNames . contains ( propertyName ) ) { options . put ( propertyName , preferences . getDefaultString ( propertyName ) ) ; } } String [ ] propertyNames = preferences . propertyNames ( ) ; for ( int i = 0 ; i < ( propertyNames . length ) ; i ++ ) { String propertyName = propertyNames [ i ] ; String value = preferences . getString ( propertyName ) . trim ( ) ; if ( optionNames . contains ( propertyName ) ) { options . put ( propertyName , value ) ; } else if ( OPTION_ReportInvalidAnnotation . equals ( propertyName ) ) { options . put ( JavaCore . COMPILER_PB_INVALID_JAVADOC , value ) ; } else if ( OPTION_ReportMissingAnnotation . equals ( propertyName ) ) { if ( JavaCore . ENABLED . equals ( value ) ) { value = preferences . getString ( OPTION_ReportInvalidAnnotation ) ; } else { value = JavaCore . IGNORE ; } options . put ( JavaCore . COMPILER_PB_MISSING_JAVADOC_COMMENTS , value ) ; } else if ( OPTION_ReportMissingJavadoc . equals ( propertyName ) ) { if ( JavaCore . ENABLED . equals ( value ) ) { value = preferences . getString ( JavaCore . COMPILER_PB_INVALID_JAVADOC ) ; } else { value = JavaCore . IGNORE ; } options . put ( JavaCore . COMPILER_PB_MISSING_JAVADOC_COMMENTS , value ) ; <START_BUG> } <END_BUG> if ( propertyName . startsWith ( ( ( JavaCore . PLUGIN_ID ) + ".formatter" ) ) ) { JavaCore . convertFormatterOptions ( propertyName , value , options ) ; } } options . put ( JavaCore . CORE_ENCODING , ResourcesPlugin . getEncoding ( ) ) ; options . put ( JavaCore . COMPILER_PB_INVALID_IMPORT , JavaCore . ERROR ) ; options . put ( JavaCore . COMPILER_PB_UNREACHABLE_CODE , JavaCore . ERROR ) ; } return options ; } private static String getConvertedValue ( Preferences preferences , String key ) { } private static void convertFormatterOptions ( String key , String value , Map options ) { } public static Plugin getPlugin ( ) { } public static IClasspathEntry getResolvedClasspathEntry ( IClasspathEntry entry ) { } public static IPath getResolvedVariablePath ( IPath variablePath ) { } public static IWorkingCopy [ ] getSharedWorkingCopies ( IBufferFactory factory ) { } public static ICompilationUnit [ ] getWorkingCopies ( WorkingCopyOwner owner ) { } protected void initializeDefaultPluginPreferences ( ) { } public static boolean isReferencedBy ( IJavaElement element , IMarker marker ) throws CoreException { } public static boolean isReferencedBy ( IJavaElement element , IMarkerDelta markerDelta ) throws CoreException { } public static IClasspathEntry newContainerEntry ( IPath containerPath ) { } public static IClasspathEntry newContainerEntry ( IPath containerPath , boolean isExported ) { } public static IClasspathEntry newLibraryEntry ( IPath path , IPath sourceAttachmentPath , IPath sourceAttachmentRootPath ) { } public static IClasspathEntry newLibraryEntry ( IPath path , IPath sourceAttachmentPath , IPath sourceAttachmentRootPath , boolean isExported ) { } public static IClasspathEntry newProjectEntry ( IPath path ) { } public static IClasspathEntry newProjectEntry ( IPath path , boolean isExported ) { } public static IRegion newRegion ( ) { } public static IClasspathEntry newSourceEntry ( IPath path ) { } public static IClasspathEntry newSourceEntry ( IPath path , IPath [ ] exclusionPatterns ) { } public static IClasspathEntry newSourceEntry ( IPath path , IPath [ ] exclusionPatterns , IPath specificOutputLocation ) { } public static IClasspathEntry newVariableEntry ( IPath variablePath , IPath variableSourceAttachmentPath , IPath sourceAttachmentRootPath ) { } public static IClasspathEntry newVariableEntry ( IPath variablePath , IPath variableSourceAttachmentPath , IPath variableSourceAttachmentRootPath , boolean isExported ) { }

Fix:
} else