Buggy code:
public static final String GENERATE = "generate" ; public static final String DO_NOT_GENERATE = "do<seq2seq4repair_space>not<seq2seq4repair_space>generate" ; public static final String PRESERVE = "preserve" ; public static final String OPTIMIZE_OUT = "optimize<seq2seq4repair_space>out" ; public static final String VERSION_1_1 = "1.1" ; public static final String VERSION_1_2 = "1.2" ; public static final String VERSION_1_3 = "1.3" ; public static final String VERSION_1_4 = "1.4" ; public static final String VERSION_1_5 = "1.5" ; public static final String ABORT = "abort" ; public static final String ERROR = "error" ; public static final String WARNING = "warning" ; public static final String IGNORE = "ignore" ; public static final String COMPUTE = "compute" ; public static final String INSERT = "insert" ; public static final String DO_NOT_INSERT = "do<seq2seq4repair_space>not<seq2seq4repair_space>insert" ; public static final String PRESERVE_ONE = "preserve<seq2seq4repair_space>one" ; public static final String CLEAR_ALL = "clear<seq2seq4repair_space>all" ; public static final String NORMAL = "normal" ; public static final String COMPACT = "compact" ; 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 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 ( ) { } public static Plugin getPlugin ( ) { } public static IClasspathEntry getResolvedClasspathEntry ( IClasspathEntry entry ) { if ( ( entry . getEntryKind ( ) ) != ( IClasspathEntry . CPE_VARIABLE ) ) return entry ; IWorkspaceRoot workspaceRoot = ResourcesPlugin . getWorkspace ( ) . getRoot ( ) ; IPath resolvedPath = JavaCore . getResolvedVariablePath ( entry . getPath ( ) ) ; if ( resolvedPath == null ) return null ; Object target = JavaModel . getTarget ( workspaceRoot , resolvedPath , false ) ; if ( target == null ) return null ; if ( target instanceof IResource ) { IResource resolvedResource = ( ( IResource ) ( target ) ) ; if ( resolvedResource != null ) { switch ( resolvedResource . getType ( ) ) { case IResource . PROJECT : return JavaCore . newProjectEntry ( resolvedPath , entry . isExported ( ) ) ; case IResource . FILE : <START_BUG> if ( Util . isArchiveFileName ( resolvedResource . getName ( ) ) ) { <END_BUG> return JavaCore . newLibraryEntry ( resolvedPath , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentPath ( ) ) , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentRootPath ( ) ) , entry . isExported ( ) ) ; } break ; case IResource . FOLDER : return JavaCore . newLibraryEntry ( resolvedPath , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentPath ( ) ) , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentRootPath ( ) ) , entry . isExported ( ) ) ; } } } if ( target instanceof File ) { File externalFile = ( ( File ) ( target ) ) ; if ( externalFile . isFile ( ) ) { String fileName = externalFile . getName ( ) . toLowerCase ( ) ; if ( ( fileName . endsWith ( SUFFIX_STRING_jar ) ) || ( fileName . endsWith ( SUFFIX_STRING_zip ) ) ) { return JavaCore . newLibraryEntry ( resolvedPath , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentPath ( ) ) , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentRootPath ( ) ) , entry . isExported ( ) ) ; } } else { if ( resolvedPath . isAbsolute ( ) ) { return JavaCore . newLibraryEntry ( resolvedPath , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentPath ( ) ) , JavaCore . getResolvedVariablePath ( entry . getSourceAttachmentRootPath ( ) ) , entry . isExported ( ) ) ; } } } return null ; } 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 ) { }

Fix:
if ( org . eclipse . jdt . internal . compiler . util . Util . isArchiveFileName ( resolvedResource . getName ( ) ) ) {