Adding a test with an indexed argument in format

Author: romainbrenguier

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

@@ -0,0 +1,8 @@
+CORE
+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_format3/test.desc

@@ -0,0 +1,12 @@
+public class test
+{
+    public static String main(int i)
+    {
+        String s = String.format("%3$sar", "a", "r", "b");
+        if(i==0)
+            assert(s.equals("bar"));
+        else
+            assert(!s.equals("bar"));
+        return s;
+    }
+}