Running the command `./modest modes PrinsesMarijkeComplex.modest -E "TIME_BOUND=64" -M NonlinearSHA -J 1 -N 1 -T --int DormandPrince54 "infinity=10" ` results in the following error [PrinsesMarijkeComplex.modest](/uploads/48389aeab8a41e5122b491a9462d684e/PrinsesMarijkeComplex.modest): Exception has occurred: CLR/System.TypeInitializationException - An exception of type 'System.TypeInitializationException' occurred in IKVM.OpenJDK.Core.dll but was not handled in user code: 'The type initializer for 'IntegerCache' threw an exception.' > Inner exceptions found, see $exception in variables window for more details. > Innermost exception System.IO.FileNotFoundException : Could not load file or assembly 'System.Configuration.ConfigurationManager, - Version=0.0.0.0, Culture=neutral, PublicKeyToken=cc7b13ffcd2ddd51'. The system cannot find the file specified. > at java.lang.VMSystemProperties.initProperties(Properties ) > at java.lang.Props..cctor()