154155156157158159160161162163
private boolean valid () { return this.getInstaller() != null; } private void read (WizardDescriptor settings) { PlatformSettings ps = PlatformSettings.getDefault(); if (ps !=null) { this.setCurrentDirectory(ps.getPlatformsFolder()); } }
163164165166167168169170171172173
} private void store (WizardDescriptor settings) { File dir = this.getCurrentDirectory(); if (dir != null) { PlatformSettings ps = PlatformSettings.getDefault(); if (ps != null) { ps.setPlatformsFolder(dir); } } }