int commandCount = 0;
final String filename = (String) st.nextElement();
final long startTime = System.currentTimeMillis();
File currentFile = null;
try {
henplus.pushBuffer();
henplus.getDispatcher().startBatch();
File f = openFile(filename);
f = f.getCanonicalFile();
if (_openFiles.contains(f)) {
throw new IOException("recursive inclusion alert: skipping file " + f.getName());