// TODO: This test seems to fail when run from the mvn directory,
// probably because jpvm requires running from the main directory,
// but it is useful to run this test within the debugger with the
// working directory set to the main directory.
mainSimulator.run ( );
}
////////////////////////////////////////////////////////////////////////
// private methods
////////////////////////////////////////////////////////////////////////