Reader r = new InputStreamReader(new FileInputStream(f2));
while(true) {
int numread = r.read(chars, numchars, chars.length - numchars);
- if (numread == -1) return JS.S(new String(chars, 0, numchars));
+ if (numread == -1) return Script.S(new String(chars, 0, numchars));
numchars += numread;
}
} catch (IOException ioe) {
return new Enumeration(null) {
int i = 0;
public boolean _hasMoreElements() { return i < elements.length; }
- public JS _nextElement() { return JS.S(FileNameEncoder.decode(elements[i++])); }
+ public JS _nextElement() { return Script.S(FileNameEncoder.decode(elements[i++])); }
};
}
}