Fixing bug in recognizing Class<?> as a WilcardTypeImpl.

[jpf-core.git] / src / main / gov / nasa / jpf / vm / MethodInfo.java

diff --git a/src/main/gov/nasa/jpf/vm/MethodInfo.java b/src/main/gov/nasa/jpf/vm/MethodInfo.java
index 4176f686ee88b4339c8080f64be06016dfa8dad2..428301c545e3c7f2ec0fb206d582f620017e9e82 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/MethodInfo.java
+++ b/src/main/gov/nasa/jpf/vm/MethodInfo.java
@@ -507,7 +507,7 @@ public class MethodInfo extends InfoObject implements GenericSignatureHolder  {
   public String[] getArgumentGenericTypeNames () {
     // TODO: We need to double check but for some reason Groovy has a type of generic signature with "<*>"
     // TODO: in the class file.
-    if (genericSignature == null || genericSignature.equals("") || genericSignature.contains("<*>"))
+    if (genericSignature == null || genericSignature.equals(""))
       return getArgumentTypeNames();
     // We need to first find the start of the method parameters in the signature
     String methodParameters = genericSignature.substring(genericSignature.indexOf('('));