equal
deleted
inserted
replaced
1079 private static final int XDELTA = 30; |
1079 private static final int XDELTA = 30; |
1080 private static final int YDELTA = XDELTA; |
1080 private static final int YDELTA = XDELTA; |
1081 |
1081 |
1082 static String encoding = null; |
1082 static String encoding = null; |
1083 |
1083 |
1084 static private Reader makeReader(InputStream is) { |
1084 private static Reader makeReader(InputStream is) { |
1085 if (encoding != null) { |
1085 if (encoding != null) { |
1086 try { |
1086 try { |
1087 return new BufferedReader(new InputStreamReader(is, encoding)); |
1087 return new BufferedReader(new InputStreamReader(is, encoding)); |
1088 } catch (IOException x) { } |
1088 } catch (IOException x) { } |
1089 } |
1089 } |