proposals.add(new NoCorrectionProposal(pp, annot.getMessage()));
	private void processProblemAnnotations(ICompilationUnit cu, IAnnotationModel model, int documentOffset, ArrayList proposals) {		HashSet idsProcessed= new HashSet();		Iterator iter= new ProblemAnnotationIterator(model, true);		while (iter.hasNext()) {			IProblemAnnotation annot= (IProblemAnnotation) iter.next();			Position pos= model.getPosition((Annotation) annot);			if (isAtPosition(documentOffset, pos)) {				if (annot.isProblem()) {					Integer probId= new Integer(annot.getId());					if (!idsProcessed.contains(probId)) {						ProblemPosition pp = new ProblemPosition(pos, annot, cu);						idsProcessed.add(probId);						collectCorrections(pp, proposals);						if (proposals.isEmpty()) {							proposals.add(new NoCorrectionProposal(pp, annot.getMessage()));						}					}				} else {					if (annot instanceof MarkerAnnotation) {						IMarker marker= ((MarkerAnnotation) annot).getMarker();						IMarkerResolution[] res= PlatformUI.getWorkbench().getMarkerHelpRegistry().getResolutions(marker);						for (int i= 0; i < res.length; i++) {							proposals.add(new MarkerResolutionProposal(res[i], marker));						}					}				}			}		}	}