A Possible Solution for testSimpleReadbackOk

[ThisTestUser]

Currently, the test "testSimpleReadbackOk" fails in the Java 8 version of JPF. This is caused by an empty "savedProps" in sun.misc.VM. This field is set by VM.saveAndRemoveProperties(), which is only called in System.initializeSystemClass().

However, initializeSystemClass() is a private method that is called by a native library, and in my tests JPF never calls this method. A possible fix for this would be to run this method at of System.class.

Please note that this does not fix the Java 11 version of this test, but instead the Java 8 version, which some users have reported to be failing (#314).