public ChangeCorrectionProposal(String name, Change change, int relevance, Image image) { fName= name; fChange= change; fRelevance= relevance; fImage= image;
public ChangeCorrectionProposal(String name, Change change, int relevance) { this(name, change, relevance, JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_CHANGE));
	public ChangeCorrectionProposal(String name, Change change, int relevance, Image image) {		fName= name;		fChange= change;		fRelevance= relevance;		fImage= image;	}