public void addMarker(TLAMarkerInformationHolder error){
  detectedErrors.add(error);
}

public void addMarker ( TLAMarkerInformationHolder error ) { detectedErrors . add ( error ) ; }
add an error to the error list
