another dummy

Author: Vladimir Kotal

plugins/test/opengrok/auth/plugin/util/DummyHttpServletRequestUser.java

@@ -101,7 +101,7 @@ public Object getValue(String string) {
         }
 
         @Override
-        public Enumeration getAttributeNames() {
+        public Enumeration<String> getAttributeNames() {
             throw new UnsupportedOperationException("Not supported yet."); 
         }
 
@@ -166,12 +166,12 @@ public String getHeader(String string) {
     }
 
     @Override
-    public Enumeration getHeaders(String string) {
+    public Enumeration<String> getHeaders(String string) {
         throw new UnsupportedOperationException("Not supported yet.");
     }
 
     @Override
-    public Enumeration getHeaderNames() {
+    public Enumeration<String> getHeaderNames() {
         throw new UnsupportedOperationException("Not supported yet.");
     }
 
@@ -312,7 +312,7 @@ public Object getAttribute(String string) {
     }
 
     @Override
-    public Enumeration getAttributeNames() {
+    public Enumeration<String> getAttributeNames() {
         return Collections.enumeration(attrs.keySet());
     }
 
@@ -352,7 +352,7 @@ public String getParameter(String string) {
     }
 
     @Override
-    public Enumeration getParameterNames() {
+    public Enumeration<String> getParameterNames() {
         throw new UnsupportedOperationException("Not supported yet.");
     }
 
@@ -362,7 +362,7 @@ public String[] getParameterValues(String string) {
     }
 
     @Override
-    public Map getParameterMap() {
+    public Map<String,String[]> getParameterMap() {
         throw new UnsupportedOperationException("Not supported yet.");
     }
 
@@ -417,7 +417,7 @@ public Locale getLocale() {
     }
 
     @Override
-    public Enumeration getLocales() {
+    public Enumeration<Locale> getLocales() {
         throw new UnsupportedOperationException("Not supported yet.");
     }