Buggy code:
public interface Request { public String getScheme ( ) { } public String getMethod ( ) { } public String getRequestURI ( ) { } public void setRequestURI ( String r ) { } public String getQueryString ( ) { } public String getProtocol ( ) { } public String getServerName ( ) { } public void setServerName ( String serverName ) { } public int getServerPort ( ) { } public String getRemoteAddr ( ) { } public String getRemoteHost ( ) { } public String getHeader ( String name ) { } public Enumeration getHeaderNames ( ) { } public Enumeration getHeaders ( String name ) { } public Cookie [ ] getCookies ( ) { } public int getContentLength ( ) { } public void setContentLength ( int len ) { } public String getContentType ( ) { } public void setContentType ( String type ) { } public void setCharEncoding ( String enc ) { } public String getCharacterEncoding ( ) { } public void setContext ( Context context ) { } public Context getContext ( ) { } String getPathTranslated ( ) { } void setPathTranslated ( String path ) { } public String getPathInfo ( ) { } public void setPathInfo ( String pathInfo ) { } public void setServletPath ( String servletPath ) { } public String getServletPath ( ) { } public Container getContainer ( ) { } public void setContainer ( Container handler ) { } public String getAuthType ( ) { } public void setAuthType ( String authType ) { } String getRemoteUser ( ) { } void setRemoteUser ( String s ) { } boolean isSecure ( ) { } public void setUserRoles ( String [ ] roles ) { } public String [ ] getUserRoles ( ) { } Principal getUserPrincipal ( ) { } void setUserPrincipal ( Principal p ) { } boolean isUserInRole ( String role ) { } public String getJvmRoute ( ) { } public void setJvmRoute ( String route ) { } public String getRequestedSessionId ( ) { } public void setRequestedSessionId ( String reqSessionId ) { } public static final String SESSIONID_FROM_COOKIE = "cookie" ; public static final String SESSIONID_FROM_URL = "url" ; public String getSessionIdSource ( ) { } public void setSessionIdSource ( String s ) { } public void setSession ( HttpSession serverSession ) { } public HttpSession getSession ( boolean create ) { } public void setQueryString ( String queryString ) { } public String [ ] getParameterValues ( String name ) { } public Enumeration getParameterNames ( ) { } public Object getAttribute ( String name ) { } public void setAttribute ( String name , Object value ) { } public void removeAttribute ( String name ) { } public Enumeration getAttributeNames ( ) { } public BufferedReader getReader ( ) throws IOException { } public ServletInputStream getInputStream ( ) throws IOException { } public void recycle ( ) { } public Response getResponse ( ) { } public void setResponse ( Response response ) { } <START_BUG> public HttpServletRequestFacade getFacade ( ) ; <END_BUG> public void setContextManager ( ContextManager cm ) { } public ContextManager getContextManager ( ) { } public void setParameters ( Hashtable h ) { } public Hashtable getParameters ( ) { } public ServletWrapper getWrapper ( ) { } public void setWrapper ( ServletWrapper handler ) { } public void setNote ( int pos , Object value ) { } public Object getNote ( int pos ) { } }

Fix:
public HttpServletRequest getFacade ( ) ;