public static void cleanUp() {
//gets rid of scratch files.
FileSystemView Directories = FileSystemView.getFileSystemView();
File homedir = Directories.getHomeDirectory();
String homedirpath = homedir.getPath();
String scratchpath = homedirpath + "/.jmol_WPM";
File scratchdir = new File(scratchpath);
if (scratchdir.exists()) {
File[] dirListing = null;
dirListing = scratchdir.listFiles();
for (int i = 0; i < (dirListing.length); i++) {
dirListing[i].delete();
}
}
saveHistory();//force save of history.
}
