13641365136613671368136913701371137213731374
up.put(key, value); } // FIXME this should be a dispatch if(PluginManager.getEnableGui()) new ProfileEditor(up, this); break; } /* * .-----------.