Changeset 8476

Timestamp:

2004-11-05T16:30:36+13:00 (19 years ago)

Author:

kjdon

Message:

made it compile with java 1.5

Location:

trunk/gsdl3/src/java/org/greenstone

Files:

• applet/phind/URLUTF8Encoder.java (modified) (2 diffs)
• gsdl3/gs3build/util/HTMLBlock.java (modified) (2 diffs)

trunk/gsdl3/src/java/org/greenstone/applet/phind/URLUTF8Encoder.java

@@ -4 +4 @@
  * URLUTF8Encoder.java -- encode UTF8 String into a URL form
  *
- * W3C® SOFTWARE NOTICE AND LICENSE
+ * W3C SOFTWARE NOTICE AND LICENSE
  *
- * Copyright © 1994-2000 World Wide Web Consortium, 
+ * Copyright (C) 1994-2000 World Wide Web Consortium, 
  * (Massachusetts Institute of Technology, Institut National de 
  * Recherche en Informatique et en Automatique, Keio University). 
@@ -29 +29 @@
  *      and conditions. If none exist, a short notice of the following form
  *      (hypertext is preferred, text is permitted) should be used within the
- *      body of any redistributed or derivative code: "Copyright ©
+ *      body of any redistributed or derivative code: "Copyright (C)
  *      [$date-of-software] World Wide Web Consortium, (Massachusetts
  *      Institute of Technology, Institut National de Recherche en

trunk/gsdl3/src/java/org/greenstone/gsdl3/gs3build/util/HTMLBlock.java

@@ -271 +271 @@
    */
   public Enumeration elements()
-  { Enumeration enum;
+  { Enumeration enumer;
   
-    enum = new HTMLBlockEnumerator(this);
-    return enum;
+    enumer = new HTMLBlockEnumerator(this);
+    return enumer;
   }
 
@@ -281 +281 @@
    */
   public Enumeration tagElements()
-  { Enumeration enum;
-
-    enum = new HTMLBlockTagEnumerator(this);
-    return enum;
+  { Enumeration enumer;
+
+    enumer = new HTMLBlockTagEnumerator(this);
+    return enumer;
   }