[Jenkins]Jenkins

Changes

Summary

  1. #474: Add ability to set other plugin names as provided API so others (details)
Commit 9f2fd967a4f914b849afe6ac287e7a595c035884 by md_5 (md_5)
#474: Add ability to set other plugin names as provided API so others can still depend on it
The file was modifiedsrc/main/java/org/bukkit/plugin/SimplePluginManager.java
The file was modifiedsrc/main/java/org/bukkit/command/defaults/PluginsCommand.java
The file was modifiedsrc/main/java/org/bukkit/plugin/PluginDescriptionFile.java