Adding a test with multiple arguments

Marked as THOROUGH as it takes around 20 seconds to run

Author: romainbrenguier

regression/strings-smoke-tests/java_format5/test.class

@@ -0,0 +1,8 @@
+THOROUGH
+test.class
+--refine-strings --string-max-length 20
+^EXIT=10$
+^SIGNAL=0$
+^\[.*assertion.1\].* line 7.* SUCCESS$
+^\[.*assertion.2\].* line 9.* FAILURE$
+--

regression/strings-smoke-tests/java_format5/test.desc

@@ -0,0 +1,12 @@
+public class test
+{
+    public static String main(boolean b)
+    {
+        String s = String.format("%s%s%s%s%s%s%s%s", "a", "b", "c", "d", "e", "f", "g", "h");
+        if(b)
+            assert(s.equals("abcdefgh"));
+        else
+            assert(!s.equals("abcdefgh"));
+        return s;
+    }
+}