Update ExecutionTime.class.php