return super.getAttribute(name);
}
+ @SuppressWarnings("unchecked")
@Override
public Enumeration<String> getAttributeNames() {
- return new MultiEnumeration<String>(new Enumeration[] {super.getAttributeNames(),new Enumerator<String>(tomcatAttributes.keySet(), true)});
+ return new MultiEnumeration<String>(new Enumeration[] {
+ super.getAttributeNames(),
+ new Enumerator<String>(tomcatAttributes.keySet(), true)});
}
}
import javax.servlet.ServletContext;
import javax.servlet.http.HttpSession;
-import javax.servlet.http.HttpSessionContext;
/**
*/
@Override
@Deprecated
- public HttpSessionContext getSessionContext() {
+ public javax.servlet.http.HttpSessionContext getSessionContext() {
return session.getSessionContext();
}