graph.setSessionTimeout(program.getOriginalPlan().getSessionTimeout());
graph.setSessionTimeout(program.getOriginalPlan().getSessionTimeout());
graph.setSessionTimeout(program.getOriginalPlan().getSessionTimeout());
graph.setSessionTimeout(program.getOriginalPlan().getSessionTimeout());
graph.setSessionTimeout(program.getOriginalPlan().getSessionTimeout());