internal: drop deprecated JSProblemReporter.reportProblem(severity,...)

Author: panchenko

plugins/org.eclipse.dltk.javascript.parser/src/org/eclipse/dltk/javascript/parser/JSProblemReporter.java

@@ -15,16 +15,11 @@
 
 import org.eclipse.dltk.compiler.problem.IProblemIdentifier;
 import org.eclipse.dltk.compiler.problem.IProblemReporter;
-import org.eclipse.dltk.compiler.problem.ProblemSeverity;
 
 public interface JSProblemReporter extends IProblemReporter {
 	void reportProblem(IProblemIdentifier identifier, String message,
 			int start, int end);
 
-	@Deprecated
-	void reportProblem(ProblemSeverity severity, IProblemIdentifier identifier,
-			String message, int start, int end);
-
 	int getProblemCount();
 
 	void pushSuppressWarnings(Collection<IProblemIdentifier> suppressed);

plugins/org.eclipse.dltk.javascript.ui/src/org/eclipse/dltk/javascript/internal/ui/text/JavaScriptDeprecationHighlightVisitor.java

@@ -19,7 +19,6 @@
 
 import org.eclipse.dltk.compiler.problem.IProblem;
 import org.eclipse.dltk.compiler.problem.IProblemIdentifier;
-import org.eclipse.dltk.compiler.problem.ProblemSeverity;
 import org.eclipse.dltk.internal.javascript.ti.ITypeInferenceContext;
 import org.eclipse.dltk.internal.javascript.validation.TypeInfoValidator.ValidationVisitor;
 import org.eclipse.dltk.javascript.core.JavaScriptProblems;
@@ -57,11 +56,6 @@ public void reportProblem(IProblemIdentifier identifier, String message,
 		}
 	}
 
-	public void reportProblem(ProblemSeverity severity,
-			IProblemIdentifier identifier, String message, int start, int end) {
-		reportProblem(identifier, message, start, end);
-	}
-
 	public int getProblemCount() {
 		return 0;
 	}