Mojang/Minecraft-API — pull request #12 by AgentE382 (2013-04-28 00:34:20+00:00)
Title: Fix javadoc @return for Workbench.getServer()

The javadoc for Workbench.getServer() now reflects the javadoc for WorkbenchImpl.getServer() instead of the javadoc for Workbench.implementation().

It seems that `@return` was copy-and-pasted from the Workbench.implementation() javadoc.