}
Element src = null;
if (true) try {
final FileInputStream srcFile = new FileInputStream(args[0]);
// src = new InputStreamSrc(new BufferedInputStream(srcFile), "input file");
src = new InputStreamSrc(srcFile, "input file");
} catch (Exception ex) {
ex.printStackTrace();
throw new RuntimeException(ex);
}
/*else if (true) {