* gnu/java/net/protocol/http/Headers.java: Update imports. Implement

	Iterable<Headers.HeaderElement>.
	(iterator): Make public.
	* gnu/java/net/protocol/http/Request.java (dispatch): Use enhanced for
	loop.
	(notifyHeaderHandlers): Same.
	* gnu/java/net/protocol/http/SimpleCookieManager.java (addCookies):
	Remove unneeded cast.

1 files changed, 3 insertions, 2 deletions

diff --git a/gnu/java/net/protocol/http/Headers.java b/gnu/java/net/protocol/http/Headers.java
index 9082cda5e..c8736bbac 100644
--- a/gnu/java/net/protocol/http/Headers.java
+++ b/gnu/java/net/protocol/http/Headers.java
@@ -42,6 +42,7 @@ import gnu.java.net.LineInputStream;
 
 import java.io.IOException;
 import java.io.InputStream;
+import java.lang.Iterable;
 import java.text.DateFormat;
 import java.text.ParseException;
 import java.util.ArrayList;
@@ -61,7 +62,7 @@ import java.util.Map;
  * @author Chris Burdess (dog@gnu.org)
  * @author David Daney (ddaney@avtrex.com)
  */
-class Headers
+class Headers implements Iterable<Headers.HeaderElement>
 {
   /**
    * A list of HeaderElements
@@ -104,7 +105,7 @@ class Headers
    *
    * @return the Iterator.
    */
-  Iterator<HeaderElement> iterator()
+  public Iterator<HeaderElement> iterator()
   {
     return headers.iterator();
   }