Bug 19988 Quick fix could have corrections when class does not override all super-methods [quick fix]
build F2 A class that does not implement all methods from an interface it implements or abstract class it extends from is in Error. The className is red-highlighted and the Text-Hover displays the message:" Class <classname> must implement the inherited abstract method <super-method- name>." Since we have this information. Is it difficult have a Quick Fix displaying at least 2 possiblities: "Make this class Abstract" "Override the super-method" ROel
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/correction/LocalCorrectionsSubProcessor.java
List exceptions= methodDecl.thrownExceptions();
			for (int i= 0; i < uncaughtExceptions.length; i++) {
				String imp= proposal.addImport(uncaughtExceptions[i]);
				Name name= ASTNodeFactory.newName(ast, imp);
				rewrite.markAsInserted(name);
				exceptions.add(name);
			}
			
			proposals.add(proposal);
		}
	}
	
	/**
	 * Method addUnreachableCatchProposals.
	 * @param problemPos
	 * @param proposals
	 */
	public static void addUnreachableCatchProposals(ProblemPosition problemPos, ArrayList proposals) {
		ICompilationUnit cu= problemPos.getCompilationUnit();
		CompilationUnit astRoot= AST.parseCompilationUnit(cu, true);
		ASTNode selectedNode= ASTResolving.findCoveringNode(astRoot, problemPos.getOffset(), problemPos.getLength());
		if (selectedNode == null) {
			return;
		}
		
		if (selectedNode.getNodeType() == ASTNode.BLOCK && selectedNode.getParent().getNodeType() == ASTNode.CATCH_CLAUSE ) {
			ASTRewrite rewrite= new ASTRewrite(astRoot);
			rewrite.markAsRemoved(selectedNode.getParent());
			
			String label= CorrectionMessages.getString("LocalCorrectionsSubProcessor.removecatchclause.description");