fixup! Updates java types with reviewer comments

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

@@ -268,7 +268,7 @@ void java_bytecode_convert_classt::convert(
   class_type.set(ID_interface, c.is_interface);
   class_type.set(ID_synthetic, c.is_synthetic);
   class_type.set_final(c.is_final);
-  class_type.set_inner_class(c.is_inner_class);
+  class_type.set_is_inner_class(c.is_inner_class);
   if(c.is_enum)
   {
     if(max_array_length != 0 && c.enum_elements > max_array_length)

jbmc/src/java_bytecode/java_types.h

@@ -111,12 +111,12 @@ class java_class_typet:public class_typet
     return set(ID_access, access);
   }
 
-  const irep_idt &get_inner_class() const
+  const bool get_is_inner_class() const
   {
-    return get(ID_is_inner_class);
+    return get_bool(ID_is_inner_class);
   }
 
-  void set_inner_class(const bool &is_inner_class)
+  void set_is_inner_class(const bool &is_inner_class)
   {
     return set(ID_is_inner_class, is_inner_class);
   }