# HG changeset patch
# User nastaran <nastaran.shafiei@gmail.com>
# Date 1486433001 28800
# Node ID 05294e96a284946275d73f298454cf8ba7aaea9c
# Parent  0069194b104844171989515af360c72a7bb9e297
Extended the model class sun.misc.SharedSecrets to make it compatible with the updates in jdk8u121. The update caused the test gov.nasa.jpf.test.java.io.ObjectStreamTest to fail.

diff -r 0069194b1048 -r 05294e96a284 src/classes/sun/misc/SharedSecrets.java
--- a/src/classes/sun/misc/SharedSecrets.java	Wed May 25 10:43:50 2016 -0700
+++ b/src/classes/sun/misc/SharedSecrets.java	Mon Feb 06 18:03:21 2017 -0800
@@ -57,6 +57,7 @@
   private static JavaIOFileDescriptorAccess javaIOFileDescriptorAccess;
   private static JavaNioAccess javaNioAccess;
   private static JavaAWTAccess javaAWTAccess;
+  private static JavaOISAccess javaOISAccess;
   private static JavaObjectInputStreamAccess javaObjectInputStreamAccess;
 
   // (required for EnumSet ops)
@@ -157,4 +158,17 @@
   public static JavaAWTAccess getJavaAWTAccess(){
     return javaAWTAccess;
   }
+
+  public static void setJavaOISAccess(JavaOISAccess access) {
+    javaOISAccess = access;
+  }
+
+  public static JavaOISAccess getJavaOISAccess() {
+    if (javaOISAccess == null) {
+      unsafe.ensureClassInitialized(ObjectInputStream.class);
+      throw new UnsupportedOperationException("sun.misc.SharedSecrets.getJavaOISAccess() not supported yet");
+    }
+
+    return javaOISAccess;
+  }
 }