//open the file manager for the parent folder
@Override
    public Set<JavaPlatform> instantiate() throws IOException {
        //TODO: Download (in background?)
        String downloadedFolder = (String) wizard.getProperty(DiscoPlatformIt.PROP_DOWNLOAD);
        if (downloadedFolder != null) {
            File f = new File(downloadedFolder);
            if (!f.isDirectory()) {
                //open the file manager for the parent folder
                Desktop.getDesktop().open(f.getParentFile());
                return Collections.EMPTY_SET;
            }
            String name = state.selection.getJavaPlatformDisplayName();
            return Collections.singleton(J2SEPlatformUtils.register(new File(downloadedFolder), name));
        } else {
            //TODO: notifcation?
            return Collections.EMPTY_SET;
        }
    }
File f = new File(downloadedFolder);
if (!f.isDirectory()) {
//open the file manager for the parent folder
Desktop.getDesktop().open(f.getParentFile());
return Collections.EMPTY_SET;
@Override
public Set<JavaPlatform> instantiate() throws IOException {
//TODO: Download (in background?)
String downloadedFolder = (String) wizard.getProperty(DiscoPlatformIt.PROP_DOWNLOAD);
if (downloadedFolder != null) {
File f = new File(downloadedFolder);
if (!f.isDirectory()) {
//open the file manager for the parent folder
Desktop.getDesktop().open(f.getParentFile());
return Collections.EMPTY_SET;
}
String name = state.selection.getJavaPlatformDisplayName();
return Collections.singleton(J2SEPlatformUtils.register(new File(downloadedFolder), name));
} else {
//TODO: notifcation?
return Collections.EMPTY_SET;
}
}
@Override
public Set<JavaPlatform> instantiate() throws IOException {
//TODO: Download (in background?)
String downloadedFolder = (String) wizard.getProperty(DiscoPlatformIt.PROP_DOWNLOAD);
if (downloadedFolder != null) {
File f = new File(downloadedFolder);
if (!f.isDirectory()) {
//open the file manager for the parent folder
Desktop.getDesktop().open(f.getParentFile());
return Collections.EMPTY_SET;
}
String name = state.selection.getJavaPlatformDisplayName();
return Collections.singleton(J2SEPlatformUtils.register(new File(downloadedFolder), name));
} else {
//TODO: notifcation?
return Collections.EMPTY_SET;
}
}