Mojang/Minecraft-API — pull request #4 by ChristopherLord (2012-07-27 17:11:04+00:00)
Title: Update src/main/java/net/minecraft/workbench/Workbench.java

Don't call getServer() if no non-null WorkbenchImpl has been set yet.