adding comments to ExecutionMonitor.java. #127