*
* @param markers the markers to be deleted
*/
protected void removeMarkers(final List markers) {
IMarker[] markersArray= (IMarker[])markers.toArray(new IMarker[markers.size()]);
execute(new DeleteMarkersOperation(markersArray, getOperationName()));
}