Description: Minor fix to build with JDT 3.7
Author: Brian Thomason <brian.thomason@eucalyptus.com>
Bug-Debian: http://bugs.debian.org/624205
Bug-Debian: http://bugs.debian.org/629733

--- gwt-2.4.0.orig/dev/core/src/org/eclipse/jdt/internal/compiler/lookup/SourceTypeBinding.java
+++ gwt-2.4.0/dev/core/src/org/eclipse/jdt/internal/compiler/lookup/SourceTypeBinding.java
@@ -26,6 +26,7 @@ import org.eclipse.jdt.internal.compiler
 import org.eclipse.jdt.internal.compiler.impl.Constant;
 import org.eclipse.jdt.internal.compiler.util.SimpleLookupTable;
 import org.eclipse.jdt.internal.compiler.util.Util;
+import org.eclipse.jdt.internal.compiler.problem.ProblemSeverities;
 
 import java.util.Hashtable;
 import java.util.Iterator;
@@ -1202,13 +1203,14 @@ public MethodBinding[] methods() {
         }
         boolean isEnumSpecialMethod = isEnum() && (CharOperation.equals(selector,TypeConstants.VALUEOF) || CharOperation.equals(selector,TypeConstants.VALUES));
         // report duplicate
+        int severity = ProblemSeverities.Error;
         if (methodDecl == null) {
           methodDecl = method.sourceMethod(); // cannot be retrieved after binding is lost & may still be null if method is special
           if (methodDecl != null && methodDecl.binding != null) { // ensure its a valid user defined method
             if (isEnumSpecialMethod) {
               this.scope.problemReporter().duplicateEnumSpecialMethod(this, methodDecl);
             } else {
-              this.scope.problemReporter().duplicateMethodInType(this, methodDecl, method.areParametersEqual(method2));
+              this.scope.problemReporter().duplicateMethodInType(this, methodDecl, method.areParametersEqual(method2), severity);
             }
             methodDecl.binding = null;
             // do not alter original method array until resolution is over, due to reentrance (143259)
@@ -1224,7 +1226,7 @@ public MethodBinding[] methods() {
           if (isEnumSpecialMethod) {
             this.scope.problemReporter().duplicateEnumSpecialMethod(this, method2Decl);
           } else {
-            this.scope.problemReporter().duplicateMethodInType(this, method2Decl, method.areParametersEqual(method2));
+            this.scope.problemReporter().duplicateMethodInType(this, method2Decl, method.areParametersEqual(method2), severity);
           }
           method2Decl.binding = null;
           // do not alter original method array until resolution is over, due to reentrance (143259)
