left = prefs.getInt("window.left", 100);
width = prefs.getInt("window.width", 640);
height = prefs.getInt("window.height", 480);
state = prefs.getInt("window.state", 0);
String r = prefs.get("recent.files", null);
recentFiles = new RecentFiles(RECENT_FILE_COUNT);
if (r != null && r.length() > 0) {
String[] ra = r.split(";");
for (int i = ra.length - 1; i >= 0; i--) {
recentFiles.put(new File(ra[i]));
}