aboutsummaryrefslogtreecommitdiff
path: root/patches/boot/scanner-charsets.patch
blob: a3a4b01dcb0299dfd51d4d72f55f57383cf23220 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
diff -r 5d5ee1c92a1b make/tools/src/build/tools/charsetmapping/EUC_TW.java
--- openjdk-boot.orig/jdk/make/tools/src/build/tools/charsetmapping/EUC_TW.java	Fri May 14 14:06:33 2010 +0100
+++ openjdk-boot/jdk/make/tools/src/build/tools/charsetmapping/EUC_TW.java	Mon May 17 20:40:10 2010 +0100
@@ -27,7 +27,6 @@
 
 import java.io.*;
 import java.util.ArrayList;
-import java.util.Scanner;
 import java.util.Formatter;
 import java.util.regex.*;
 import java.nio.charset.*;
diff -r 5d5ee1c92a1b make/tools/src/build/tools/charsetmapping/HKSCS.java
--- openjdk.orig/jdk/make/tools/src/build/tools/charsetmapping/HKSCS.java	Fri May 14 14:06:33 2010 +0100
+++ openjdk-boot/jdk/make/tools/src/build/tools/charsetmapping/HKSCS.java	Mon May 17 20:40:10 2010 +0100
@@ -28,7 +28,6 @@
 import java.io.*;
 import java.util.Arrays;
 import java.util.ArrayList;
-import java.util.Scanner;
 import java.util.Formatter;
 import java.util.regex.*;
 import java.nio.charset.*;
diff -r 5d5ee1c92a1b make/tools/src/build/tools/charsetmapping/Main.java
--- openjdk-boot.orig/jdk/make/tools/src/build/tools/charsetmapping/Main.java	Fri May 14 14:06:33 2010 +0100
+++ openjdk-boot/jdk/make/tools/src/build/tools/charsetmapping/Main.java	Mon May 17 20:40:10 2010 +0100
@@ -25,9 +25,6 @@
 
 package build.tools.charsetmapping;
 
-import java.io.*;
-import java.util.Scanner;
-
 public class Main {
 
     public static void main(String args[]) throws Exception {
diff -r 5d5ee1c92a1b make/tools/src/build/tools/charsetmapping/Utils.java
--- openjdk-boot.orig/jdk/make/tools/src/build/tools/charsetmapping/Utils.java	Fri May 14 14:06:33 2010 +0100
+++ openjdk-boot/jdk/make/tools/src/build/tools/charsetmapping/Utils.java	Mon May 17 20:40:10 2010 +0100
@@ -26,6 +26,7 @@
 package build.tools.charsetmapping;
 
 import java.io.File;
+import java.io.FileInputStream;
 import java.io.InputStream;
 import java.io.InputStreamReader;
 import java.io.OutputStream;
@@ -33,7 +34,6 @@
 import java.io.IOException;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
-import java.util.Scanner;
 import java.util.Formatter;
 
 public class Utils {
@@ -206,10 +206,11 @@
     }
 
     public static String getCopyright(File f) throws IOException {
-        Scanner s = new Scanner(f, "ISO-8859-1");
+        InputStreamReader r = new InputStreamReader(new FileInputStream(f),
+                                                    "ISO-8859-1");
+        BufferedReader s = new BufferedReader(r);
         StringBuilder sb = new StringBuilder();
-        while (s.hasNextLine()) {
-            String ln = s.nextLine();
+        for (String ln = s.readLine(); ln != null; ln = s.readLine()) {
             sb.append(ln + "\n");
             // assume we have the copyright as the first comment
             if (ln.matches("^\\s\\*\\/$"))