-// if( ! isRestartedSave )
-// {
-// /** Restoring the original vmx file (necessary after a crash) **/
-// command = new String[]{ "/bin/cp",
-// working_directory + "/" + machine.getDirectory() + "/" + machine.getVmx_name_normal(),
-// working_directory + "/" + machine.getDirectory() + "/" + machine.getVmx_name() } ;
-//
-// try {
-// Process p = Runtime.getRuntime().exec( command ) ;
-// p.waitFor() ;
-//
-// if( p.exitValue() == 0 )
-// {
-// System.out.println( "Successfully replaced the VMX file." ) ;
-// sema.release() ;
-// emergencyStop = false ;
-// return 0 ;
-// } else {
-// System.err.println( "Unsuccessful replacement of the VMX file!" ) ;
-//// printProcessError( p.getErrorStream() ) ;
-// printProcessError( p ) ;
-// sema.release() ;
-// return 1 ;
-// }
-// } catch( IOException e ) {
-// System.err.println( "Error during VMX file replacement: " ) ;
-// e.printStackTrace() ;
-// sema.release() ;
-// return 1 ;
-// } catch( InterruptedException e ) {
-// e.printStackTrace() ;
-// sema.release() ;
-// return 1 ;
-// }
-// } else {