- /**
- * Overrides the default method to save a session to file, in order to
- * guarantee it is done synchronously. Jmol command 'write STATE path' would
- * execute asynchronously, so instead we get the state and write it directly
- * here.
- */
- @Override
- protected void saveSession(File f)