X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Fvm%2FTypes.java;h=90e7f54dca5a3a8ba6316ee3d83a07e9daf4d07a;hp=6c34925215c48ec78cadfdd7a159c5f6dc0d94ce;hb=9530ffc869c8b7768131e093593200126918ee28;hpb=48c7130ad03404a653a8e6298fb42592efc8dd67;ds=sidebyside

diff --git a/src/main/gov/nasa/jpf/vm/Types.java b/src/main/gov/nasa/jpf/vm/Types.java
index 6c34925..90e7f54 100644
--- a/src/main/gov/nasa/jpf/vm/Types.java
+++ b/src/main/gov/nasa/jpf/vm/Types.java
@@ -1248,6 +1248,8 @@ public class Types {
   }
 
   public static boolean isGenericSignature(String signature) {
+    if (signature == null || signature.equals(""))
+      return false;
     int opening = signature.indexOf('<');
     return (opening != -1);
   }