code: private void updateManagementGraph(final JobID jobID, final ExecutionStateChangeEvent executionStateChangeEvent, String optionalMessage) {
  
  		synchronized (this.recentManagementGraphs) {
  
  			final ManagementGraph managementGraph = this.recentManagementGraphs.get(jobID);
  			if (managementGraph == null) {
  				return;
  			}
  			final ManagementVertex vertex = managementGraph.getVertexByID(executionStateChangeEvent.getVertexID());
  			if (vertex == null) {
  				return;
  			}
  
  			vertex.setExecutionState(executionStateChangeEvent.getNewExecutionState());
  			if (executionStateChangeEvent.getNewExecutionState() == ExecutionState.FAILED) {
  				vertex.setOptMessage(optionalMessage);
  			}
  		}
  	}
docs: Applies changes in the state of an execution vertex to the stored management graph.
  
  @param jobID
  the ID of the job whose management graph shall be updated
  @param executionStateChangeEvent
  the event describing the changes in the execution state of the vertex