Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)

* Rectifies the java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z error by overloading the find() method in native peer classes

* adds unit test

Author: manish3499

src/classes/java/util/regex/Matcher.java

@@ -67,6 +67,8 @@ public Matcher reset(CharSequence inp) {
   public native boolean matches();
 
   public native boolean find();
+
+  public native boolean find(int start);
 
   public native boolean lookingAt();
 

src/peers/gov/nasa/jpf/vm/JPF_java_util_regex_Matcher.java

@@ -73,6 +73,12 @@ public boolean matches____Z (MJIEnv env, int objref) {
     return matcher.matches();
   }
 
+  @MJI
+  public boolean find__I__Z (MJIEnv env, int objref, int i) {
+	Matcher matcher = getInstance( env, objref);
+    return matcher.find(i);
+  }
+
   @MJI
   public boolean find____Z (MJIEnv env, int objref) {
 	Matcher matcher = getInstance( env, objref);

src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java

@@ -30,13 +30,13 @@
  */
 public class PrintStreamTest extends TestJPF {
 
-  @Test // currently fails with: java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z
+  @Test 
   public void testPrintCharFormat () {
     if (verifyNoPropertyViolation()){
 	ByteArrayOutputStream baos = new ByteArrayOutputStream(1);
 	PrintStream baps = new PrintStream(baos, true);
-//	baps.printf("%c", 'a'); // fails
-//	assert (baos.toByteArray()[0] == 97);
+	baps.printf("%c", 'a'); 
+	assert (baos.toByteArray()[0] == 97);
     }
   }
-}
+}