File f2 = new File(f.getAbsolutePath() + File.separatorChar + FileNameEncoder.encode(key));
if (!f2.exists()) return null;
if (f2.isDirectory()) return new Directory(f2);
- char[] chars = new char[(int)f2.length()];
+ char[] chars = new char[((int)f2.length()) * 2];
int numchars = 0;
Reader r = new InputStreamReader(new FileInputStream(f2));
while(true) {