Fix invalid java type descriptor

A java type descriptor "Ljava.lang.String;" was parsed into
a class identifier "java::java$lang$String". It should have
been "Ljava/lang/String;", which is then correctly parsed
into "java::java/lang/String". This caused for example the
main function not correctly recognized if passed as
--function MyClass.main.

Author: peterschrammel

src/java_bytecode/java_entry_point.cpp

@@ -178,8 +178,8 @@ exprt::operandst java_build_arguments(
   if(!is_main)
   {
     bool named_main=has_suffix(config.main, ".main");
-    const typet &string_array_type=
-      java_type_from_string("[Ljava.lang.String;");
+    const typet &string_array_type =
+      java_type_from_string("[Ljava/lang/String;");
     // checks whether the function is static and has a single String[] parameter
     const code_typet &function_type = to_code_type(function.type);
     bool has_correct_type = function_type.return_type().id() == ID_empty &&