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. }