6768697071727374757677
} // run over all for (final String id : PluginLoader.getPlugins().keySet()) { // was added before? if (!f.existElement("basic." + id + "_box")) { // return; } final PluginInfo i = PluginLoader.getPlugins().get(id);