1880188118821883188418851886188718881889
*/ public PluginRegistry getPluginRegistry() { if (this.pluginRegistry == null) { synchronized(this) { if (this.pluginRegistry == null) this.pluginRegistry = new PluginRegistry(this); } } return this.pluginRegistry; }