System.exit(0) in case of strong failure
Instrumentation added for property Online 4-4 (JavaMOP)
System.exit(0) added in case of strong failure