encoding = encoding || "utf-8"; // NOTE: we intentionally avoid handling exceptions, since the caller will // want to know var jf = new java.io.File(path); var is = new java.io.FileInputStream(jf); return dj_readInputStream(is, encoding);