diff jpf.properties @ 31:0069194b1048

Updated the model class sun.misc.SharedSecrets to make it compatible with the recent updates in jdk8u75. New methods added to sun.misc.SharedSecrets are used by clinit in java.io.ObjectInputStream which caused JPF to throw java.lang.NoSuchMethodException.
author nastaran <nastaran.shafiei@gmail.com>
date Wed, 25 May 2016 10:43:50 -0700
parents 6774e2e08d37
children
line wrap: on
line diff