Index: 3rdParty_sources/servlet-api/javax/servlet/http/HttpSessionContext.java
===================================================================
diff -u -r7475d08afc280b5e2e5ddf04e8bf35e3166aaf80 -r188531e2b734df509672788d897e1030e4b1a24a
--- 3rdParty_sources/servlet-api/javax/servlet/http/HttpSessionContext.java (.../HttpSessionContext.java) (revision 7475d08afc280b5e2e5ddf04e8bf35e3166aaf80)
+++ 3rdParty_sources/servlet-api/javax/servlet/http/HttpSessionContext.java (.../HttpSessionContext.java) (revision 188531e2b734df509672788d897e1030e4b1a24a)
@@ -1,7 +1,7 @@
/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
*
- * Copyright (c) 1997-2010 Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 1997-2017 Oracle and/or its affiliates. All rights reserved.
*
* The contents of this file are subject to the terms of either the GNU
* General Public License Version 2 only ("GPL") or the Common Development
@@ -75,7 +75,7 @@
*
*/
-
+@Deprecated
public interface HttpSessionContext {
/**
@@ -84,9 +84,11 @@
* no replacement. This method must
* return null and will be removed in
* a future version of this API.
+ * @param sessionId the id of the session to be returned
*
+ * @return null in all cases
*/
-
+ @Deprecated
public HttpSession getSession(String sessionId);
@@ -99,8 +101,10 @@
* an empty Enumeration
and will be removed
* in a future version of this API.
*
+ * @return null
+ *
*/
-
+ @Deprecated
public Enumeration getIds();
}