private void addMarker(IFile file, String markerType, String message, int lineStart, int lineEnd, int columnStart, 
			int columnEnd, int severity, int priority, int startCharacter, int stopCharacter)
	{
		try{			
			
			Map<String, Object> attrs = new HashMap<String, Object>();			
			MarkerUtilities.setMessage(attrs, message);			
			
			MarkerUtilities.setCharStart(attrs, startCharacter);			
			
			if(startCharacter == stopCharacter)
				stopCharacter = stopCharacter + 2;
			 
			MarkerUtilities.setCharEnd(attrs, stopCharacter);
			
			attrs.put(IMarker.SEVERITY, severity);
			attrs.put(IMarker.PRIORITY, priority);
			
			MarkerUtilities.createMarker(file, attrs, markerType);				

		} catch(CoreException ex)
		{
			
			System.out.println(ex.toString());
			// Need to handle the case where the marker no longer exists
		}

	}