Buggy code:
public String getDocBase ( ) { } public void setReloadable ( String s ) { } public void setReloadable ( boolean b ) { } public boolean getReloadable ( ) { } public Enumeration getWelcomeFiles ( ) { } public void removeWelcomeFiles ( ) { } public void addWelcomeFile ( String s ) { } public void addTaglib ( String uri , String location ) { } public String getTaglibLocation ( String uri ) { } public Enumeration getTaglibs ( ) { } public void addEnvEntry ( String name , String type , String value , String description ) { } public String getEnvEntryType ( String name ) { } public String getEnvEntryValue ( String name ) { } public Enumeration getEnvEntries ( ) { } public String getInitParameter ( String name ) { } public void setInitParameter ( String name , String value ) { } public void addInitParameter ( String name , String value ) { } public Enumeration getInitParameterNames ( ) { } public Object getAttribute ( String name ) { } public Enumeration getAttributeNames ( ) { } public void setAttribute ( String name , Object object ) { } public void removeAttribute ( String name ) { } public String getDescription ( ) { } public void setDescription ( String description ) { } public void setIcon ( String icon ) { } public boolean isDistributable ( ) { } public void setDistributable ( boolean isDistributable ) { } public int getSessionTimeOut ( ) { } public void setSessionTimeOut ( int sessionTimeOut ) { } public FileNameMap getMimeMap ( ) { } public void addContentType ( String ext , String type ) { } public String getErrorPage ( int errorCode ) { } public void addErrorPage ( String errorType , String value ) { } public String getErrorPage ( String errorCode ) { } public String getAuthMethod ( ) { } public String getRealmName ( ) { } public String getFormLoginPage ( ) { } public String getFormErrorPage ( ) { } public void setLoginConfig ( String authMethod , String realmName , String formLoginPage , String formErrorPage ) { } public void addServletMapping ( String path , String servletName ) throws TomcatException { } public void addSecurityConstraint ( String [ ] path , String [ ] methods , String [ ] roles , String transport ) throws TomcatException { } public Enumeration getContainers ( ) { } public Enumeration getContainerLocations ( ) { } public Container getContainer ( String path ) { } public void removeContainer ( Container ct ) { } public ServletWrapper getDefaultServlet ( ) { } public void removeServletByName ( String servletName ) throws TomcatException { } public ServletWrapper getServletByName ( String servletName ) { } public void addServlet ( ServletWrapper wrapper ) throws TomcatException { } public Enumeration getServletNames ( ) { } public SessionManager getSessionManager ( ) { } public void setSessionManager ( SessionManager manager ) { } public void setServletLoader ( ServletLoader loader ) { } public ServletLoader getServletLoader ( ) { } public void setDebug ( int level ) { } public int getDebug ( ) { } public void log ( String msg ) { } public String toString ( ) { } public RequestDispatcher getRequestDispatcher ( String path ) { } public RequestDispatcher getNamedDispatcher ( String name ) { } public URL getResource ( String rpath ) throws MalformedURLException { URL url = null ; if ( "" . equals ( rpath ) ) return getDocumentBase ( ) ; if ( rpath == null ) return null ; if ( ! ( rpath . startsWith ( "//" ) ) ) { rpath = "//" + rpath ; } Request lr = contextM . createRequest ( this , rpath ) ; getContextManager ( ) . processRequest ( lr ) ; String mappedPath = lr . getMappedPath ( ) ; if ( mappedPath == null ) { mappedPath = lr . getPathInfo ( ) ; } if ( mappedPath == null ) mappedPath = lr . getLookupPath ( ) ; URL docBase = getDocumentBase ( ) ; url = new URL ( docBase . getProtocol ( ) , docBase . getHost ( ) , docBase . getPort ( ) , ( ( docBase . getFile ( ) ) + mappedPath ) ) ; <START_BUG> if ( ( debug ) > 3 ) <END_BUG> log ( ( ( ( "getResourceURL=" + url ) + "<seq2seq4repair_space>request=" ) + lr ) ) ; return url ; } Context getContext ( String path ) { } public void log ( String msg , Throwable t ) { } String getRealPath ( String path ) { } private boolean isWorkDirPersistent = false ; private String engineHeader = null ; private URL documentBase ; private URL servletBase = null ; private boolean isInvokerEnabled = false ; private File warDir = null ; private boolean isWARExpanded = false ; private boolean isWARValidated = false ; public boolean isInvokerEnabled ( ) { } public void setInvokerEnabled ( boolean isInvokerEnabled ) { } public boolean isWorkDirPersistent ( ) { } public void setWorkDirPersistent ( boolean b ) { } public File getWorkDir ( ) { } public void setWorkDir ( File workDir ) { } public void setWorkDirPath ( String workDir ) { } public String getEngineHeader ( ) { } public void setEngineHeader ( String s ) { } public void setRequestSecurityProvider ( RequestSecurityProvider rsProvider ) { } public RequestSecurityProvider getRequestSecurityProvider ( ) { } public File getWARDir ( ) { } public void setWARDir ( File f ) { } public boolean isWARExpanded ( ) { } public void setIsWARExpanded ( boolean isWARExpanded ) { } public boolean isWARValidated ( ) { } public void setIsWARValidated ( boolean isWARValidated ) { } public void addContextInterceptor ( ContextInterceptor ci ) { } ContextInterceptor [ ] cInterceptors ; public ContextInterceptor [ ] getContextInterceptors ( ) { } public void addRequestInterceptor ( RequestInterceptor ci ) { } RequestInterceptor [ ] rInterceptors ;

Fix:
if ( ( debug ) > 9 )