Fixes parsing for anonymous classes

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_parser.cpp

@@ -1615,6 +1615,13 @@ void java_bytecode_parsert::rinner_classes_attribute(
     UNUSED u2 inner_name_index = read_u2();
     u2 inner_class_access_flags = read_u2();
 
+    if(inner_name_index == 0) {
+      // it is anonymous
+      parsed_class.is_private = true;
+      parsed_class.is_protected = false;
+      parsed_class.is_public = false;
+    }
+
     if(inner_class_info_index == 0)
       continue;