Added regresion test for indexOf

Added the originating test for the bug to smoke tests.

Author: jasigal

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

@@ -0,0 +1,7 @@
+CORE
+test_index_of2.class
+--refine-strings
+^EXIT=10$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--

regression/strings-smoke-tests/java_index_of2/test_index_of2.class

@@ -0,0 +1,9 @@
+public class test_index_of2
+{
+   public static void main(String param)
+   {
+      String s = "abcdefg";
+      int i = s.indexOf(param);
+      assert(i != 1);
+   }
+}