private void dumpPlan() {
StringWriter sw = new StringWriter();
Plan plan = agent.getTop();
if (plan != null)
plan.printTree(new PrintWriter(sw), true, new Decorator() {
public String decorate(Object o) {
return (o == agent.getFocus()) ? " <-focus" : "";
}
});