throw new JSExn("error parsing XML: " + e.toString());
} catch (IOException e) {
if (Log.on) Log.log(this, "IO Exception while reading from file");
throw new JSExn("error parsing XML: " + e.toString());
} catch (IOException e) {
if (Log.on) Log.log(this, "IO Exception while reading from file");