super("No correction available", new NullChange(), 0);
super(CorrectionMessages.getString("NoCorrectionProposal.description"), new NullChange(), 0);
	public NoCorrectionProposal(ProblemPosition problemPosition) {		super("No correction available", new NullChange(), 0);		fProblemPosition= problemPosition;	}