Change class loading and parsing warnings to debug messages.

Often, there are so many of these warnings that they lose all meaning as
warning, so they are now moved to debug.

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

@@ -302,7 +302,7 @@ void java_bytecode_convert_classt::convert(
     }
     catch(const unsupported_java_class_signature_exceptiont &e)
     {
-      warning() << "Class: " << c.name
+      debug() << "Class: " << c.name
                 << "\n could not parse signature: " << c.signature.value()
                 << "\n " << e.what() << "\n ignoring that the class is generic"
                 << eom;
@@ -364,7 +364,7 @@ void java_bytecode_convert_classt::convert(
       }
       catch(const unsupported_java_class_signature_exceptiont &e)
       {
-        warning() << "Superclass: " << c.super_class << " of class: " << c.name
+        debug() << "Superclass: " << c.super_class << " of class: " << c.name
                   << "\n could not parse signature: " << superclass_ref.value()
                   << "\n " << e.what()
                   << "\n ignoring that the superclass is generic" << eom;
@@ -404,7 +404,7 @@ void java_bytecode_convert_classt::convert(
       }
       catch(const unsupported_java_class_signature_exceptiont &e)
       {
-        warning() << "Interface: " << interface << " of class: " << c.name
+        debug() << "Interface: " << interface << " of class: " << c.name
                   << "\n could not parse signature: " << interface_ref.value()
                   << "\n " << e.what()
                   << "\n ignoring that the interface is generic" << eom;

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -275,7 +275,7 @@ java_method_typet member_type_lazy(
       }
       else
       {
-        message.warning() << "Method: " << class_name << "." << method_name
+        message.debug() << "Method: " << class_name << "." << method_name
                           << "\n signature: " << signature.value()
                           << "\n descriptor: " << descriptor
                           << "\n different number of parameters, reverting to "
@@ -285,7 +285,7 @@ java_method_typet member_type_lazy(
     }
     catch(const unsupported_java_class_signature_exceptiont &e)
     {
-      message.warning() << "Method: " << class_name << "." << method_name
+      message.debug() << "Method: " << class_name << "." << method_name
                         << "\n could not parse signature: " << signature.value()
                         << "\n " << e.what() << "\n"
                         << " reverting to descriptor: " << descriptor

jbmc/src/java_bytecode/java_class_loader.cpp

@@ -164,7 +164,7 @@ java_class_loadert::get_parse_tree(
         ++parse_tree_it;
         break;
       }
-      warning()
+      debug()
         << "Skipping class " << class_name
         << " marked with OverlayClassImplementation but found before"
           " original definition"
@@ -180,7 +180,7 @@ java_class_loadert::get_parse_tree(
     // Remove non-initial classes that aren't overlays
     if(!is_overlay_class(parse_tree_it->parsed_class))
     {
-      warning()
+      debug()
         << "Skipping duplicate definition of class " << class_name
         << " not marked with OverlayClassImplementation" << eom;
       auto duplicate_non_overlay_it = parse_tree_it;
@@ -194,7 +194,7 @@ java_class_loadert::get_parse_tree(
     return parse_trees;
 
   // Not found or failed to load
-  warning() << "failed to load class " << class_name << eom;
+  debug() << "failed to load class " << class_name << eom;
   parse_trees.emplace_back(class_name);
   return parse_trees;
 }