pls.remove(pi.name);
}
for (PluginInformation pi: toDeletePlugins) {
pls.remove(pi.name);
new File(Main.pref.getPluginsDirectory(),pi.name+".jar").deleteOnExit();
<BUG>}
Main.pref.putCollection("plugins",pls);</BUG>
}
});
}

pls.remove(pi.name);
}
for (PluginInformation pi: toDeletePlugins) {
pls.remove(pi.name);
new File(Main.pref.getPluginsDirectory(),pi.name+".jar").deleteOnExit();
}
System.out.println(pls);
Main.pref.putCollection("plugins",pls);
}
});
