svn commit: r1165063 - /commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamValuesMap.java

[simonetripodi]

Author: simonetripodi
Date: Sun Sep  4 16:05:02 2011
New Revision: 1165063

URL: http://svn.apache.org/viewvc?rev=1165063&view=rev
Log:
muted HttpServletReuqets.getInitParameterNames() warnings, it is known that 
Servlet request parameter names are String
        

Modified:
    
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamValuesMap.java

Modified: 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamValuesMap.java
URL: 
http://svn.apache.org/viewvc/commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamValuesMap.java?rev=1165063&r1=1165062&r2=1165063&view=diff
==============================================================================
--- 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamValuesMap.java
 (original)
+++ 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamValuesMap.java
 Sun Sep  4 16:05:02 2011
@@ -64,6 +64,7 @@ final class ServletParamValuesMap implem
 
     public Set<Entry<String, String[]>> entrySet() {
         Set<Entry<String, String[]>> set = new HashSet<Entry<String, 
String[]>>();
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = request.getParameterNames();
         String key;
         while (keys.hasMoreElements()) {
@@ -96,6 +97,7 @@ final class ServletParamValuesMap implem
 
     public Set<String> keySet() {
         Set<String> set = new HashSet<String>();
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = request.getParameterNames();
         while (keys.hasMoreElements()) {
             set.add(keys.nextElement());
@@ -121,6 +123,7 @@ final class ServletParamValuesMap implem
 
     public int size() {
         int n = 0;
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = request.getParameterNames();
         while (keys.hasMoreElements()) {
             keys.nextElement();
@@ -131,7 +134,8 @@ final class ServletParamValuesMap implem
 
 
     public Collection<String[]> values() {
-        List<String[]> list = new ArrayList();
+        List<String[]> list = new ArrayList<String[]>();
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = request.getParameterNames();
         while (keys.hasMoreElements()) {
             list.add(request.getParameterValues((String) keys.nextElement()));