return stack.peek();
}
private void openSpool(final String filename) throws IOException {
// open file
final OutputDevice spool = new PrintStreamOutputDevice(new PrintStream(new FileOutputStream(filename)));
HenPlus.getInstance().setOutput(openStackedDevice(_outStack, spool), openStackedDevice(_msgStack, spool));
HenPlus.msg().println("-- open spool at " + new Date());
}