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.