fIsError= JavaMarkerAnnotation.ERROR_ANNOTATION_TYPE.equals(annotation.getType());
	public ProblemLocation(int offset, int length, IJavaAnnotation annotation) {		fId= annotation.getId();		fArguments= annotation.getArguments();		fOffset= offset;		fLength= length;	}