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

[simonetripodi]

Author: simonetripodi
Date: Sun Sep  4 15:50:47 2011
New Revision: 1165053

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

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

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