+// 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 {
+ if( machine.checkVmx() == 0 )