Modified verbosity for loaded message

thk123 · thk123 · commit 359a3e32bfc4 · 2017-09-07T14:11:53.000+01:00
This indicates nothing particuarly exciting and when loading the models
library brings in a lot of noise to the output.
diff --git a/src/java_bytecode/java_class_loader.cpp b/src/java_bytecode/java_class_loader.cpp
@@ -207,7 +207,7 @@ void java_class_loadert::read_jar_file(
     // does it end on .class?
     if(has_suffix(file_name, ".class"))
     {
-      status() << "read class file " << file_name << " from " << file << eom;
+      debug() << "read class file " << file_name << " from " << file << eom;
       irep_idt class_name=file_to_class_name(file_name);
 
       // record

Original file line number	Diff line number	Diff line change
`@@ -207,7 +207,7 @@ void java_class_loadert::read_jar_file(`
`207`	`207`	`// does it end on .class?`
`208`	`208`	`if(has_suffix(file_name, ".class"))`
`209`	`209`	`{`
`210`		`- status() << "read class file " << file_name << " from " << file << eom;`
	`210`	`+ debug() << "read class file " << file_name << " from " << file << eom;`
`211`	`211`	`irep_idt class_name=file_to_class_name(file_name);`
`212`	`212`
`213`	`213`	`// record`