if (sPageSetURI.startsWith("file://")) {
oPFile = new File(sPageSetURI.substring(7));
if (!oPFile.exists())
throw new FileNotFoundException (sPageSetURI.substring(7) + " not found");
if (DebugFile.trace) DebugFile.writeln("parseURI (" + sPageSetURI + ");");
parseURI(sPageSetURI, "UTF-8");
}
else {
oPFile = new File(sPageSetURI);
if (!oPFile.exists())
throw new FileNotFoundException (sPageSetURI + " not found");
if (DebugFile.trace) DebugFile.writeln("parseURI (file://" + sPageSetURI + ");");
parseURI("file://" + sPageSetURI, "UTF-8");
}