created 'JavaNetUriAccess' interface and added getter setter for the …

…same in SharedSceret class

src/classes/modules/java.base/jdk/internal/misc/JavaNetUriAccess.java

@@ -0,0 +1,5 @@
+package jdk.internal.misc;
+
+public interface JavaNetUriAccess {
+    // We can add more necessary methods here
+}

src/classes/modules/java.base/jdk/internal/misc/SharedSecrets.java

@@ -63,6 +63,7 @@ public class SharedSecrets {
   private static JavaObjectInputStreamAccess javaObjectInputStreamAccess;
   private static JavaObjectInputFilterAccess javaObjectInputFilterAccess;
   private static JavaObjectInputStreamReadString javaObjectInputStreamReadString;
+  private static JavaNetUriAccess javaNetUriAccess;
 
   // (required for EnumSet ops)
   public static JavaLangAccess getJavaLangAccess() {
@@ -207,4 +208,12 @@ public static JavaObjectInputStreamReadString getJavaObjectInputStreamReadString
   public static void setJavaObjectInputStreamReadString(JavaObjectInputStreamReadString access) {
     javaObjectInputStreamReadString = access;
   }
+
+  public static void setJavaNetUriAccess(JavaNetUriAccess jnua) {
+    javaNetUriAccess = jnua;
+  }
+
+  public static JavaNetUriAccess getJavaNetUriAccess() {
+    return javaNetUriAccess;
+  }
 }

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

@@ -107,15 +107,18 @@ public void testEquals() {
 
   @Test
   public void testToURI(){
-    File file = new File("testfile.txt");
-    URI expectedURI = null;
-    try {
-      expectedURI = new File(file.getAbsolutePath()).toURI();
-    } catch (Exception e) {
-      fail("URISyntaxException thrown while constructing expected URI");
+    if(verifyNoPropertyViolation()){
+      File file = new File("testfile.txt");
+      URI expectedURI = null;
+      try {
+        expectedURI = new URI("file:" + file.getAbsolutePath());
+      } catch (URISyntaxException e) {
+        fail("URISyntaxException thrown while constructing expected URI");
+      }
+
+      URI actualURI = file.toURI();
+      System.out.println(actualURI);
+      assertEquals("The URIs should be equal",expectedURI,actualURI);
     }
-
-    URI actualURI = file.toURI();
-    assertEquals("The URIs should be equal",expectedURI,actualURI);
   }  
 }