2006-03-08 Michael Koch <konqueror@gmx.de>

	* java/net/Proxy.java (NO_PROXY): Made final.
	(equals): Likewise.
	(hashCode): Likewise.

2 files changed, 9 insertions, 3 deletions

diff --git a/ChangeLog b/ChangeLog
index 5cf29bdd9..d25e77a73 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2006-03-08  Michael Koch  <konqueror@gmx.de>
+
+	* java/net/Proxy.java (NO_PROXY): Made final.
+	(equals): Likewise.
+	(hashCode): Likewise.
+
 2006-03-07  Michael Koch  <konqueror@gmx.de>
 
 	* gnu/java/net/DefaultProxySelector.java,
diff --git a/java/net/Proxy.java b/java/net/Proxy.java
index f76613866..0d5a17037 100644
--- a/java/net/Proxy.java
+++ b/java/net/Proxy.java
@@ -51,7 +51,7 @@ public class Proxy
    */
   public enum Type { DIRECT, HTTP, SOCKS };
 
-  public static Proxy NO_PROXY = new Proxy(Type.DIRECT, null);
+  public static final Proxy NO_PROXY = new Proxy(Type.DIRECT, null);
 
   private Type type;
   private SocketAddress address;
@@ -96,7 +96,7 @@ public class Proxy
    * @return <code>true</code> if both objects or equals,
    * <code>false</code> otherwise.
    */
-  public boolean equals(Object obj)
+  public final boolean equals(Object obj)
   {
     if (! (obj instanceof Proxy))
       return false;
@@ -112,7 +112,7 @@ public class Proxy
    *
    * @return the hashcode
    */
-  public int hashCode()
+  public final int hashCode()
   {
     return type.hashCode() ^ address.hashCode();
   }