The field 'pluginManager' in CraftServer class have changed to 'SimplePluginManager' since 1.12.

For those who wants to inject a custom PluginManager, this change may not be so good, and the SimplePluginManager class is a final class. This makes implementing this interface useless.

I think there is no reason to change this.

Sorry for consecutive 2 issues, but this confused me a lot.