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

[simonetripodi]

Author: simonetripodi
Date: Sun Sep  4 15:54:10 2011
New Revision: 1165055

URL: http://svn.apache.org/viewvc?rev=1165055&view=rev
Log:
muted ServletContext.getInitParamNames() warnings, it is known that init param 
names are String
        

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

Modified: 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletInitParamMap.java
URL: 
http://svn.apache.org/viewvc/commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletInitParamMap.java?rev=1165055&r1=1165054&r2=1165055&view=diff
==============================================================================
--- 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletInitParamMap.java
 (original)
+++ 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletInitParamMap.java
 Sun Sep  4 15:54:10 2011
@@ -64,6 +64,7 @@ final class ServletInitParamMap implemen
 
     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 = context.getInitParameterNames();
         String key;
         while (keys.hasMoreElements()) {
@@ -96,6 +97,7 @@ final class ServletInitParamMap implemen
 
     public Set<String> keySet() {
         Set<String> set = new HashSet<String>();
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = context.getInitParameterNames();
 
         while (keys.hasMoreElements()) {
@@ -121,6 +123,7 @@ final class ServletInitParamMap implemen
 
     public int size() {
         int n = 0;
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = context.getInitParameterNames();
         while (keys.hasMoreElements()) {
             keys.nextElement();
@@ -132,6 +135,7 @@ final class ServletInitParamMap implemen
 
     public Collection<String> values() {
         List<String> list = new ArrayList<String>();
+        @SuppressWarnings( "unchecked" ) // it is known that header names are 
String
         Enumeration<String> keys = context.getInitParameterNames();
         while (keys.hasMoreElements()) {
             list.add(context.getInitParameter(keys.nextElement()));