Update to Minecraft 1.14-pre5

By: md_5 <git@md-5.net>

paper-api/src/main/java/org/bukkit/Bukkit.java

@@ -192,31 +192,6 @@ public final class Bukkit {
         return server.getIp();
     }
 
-    /**
-     * Get the name of this server.
-     *
-     * @return the name of this server
-     * @deprecated not a standard server property
-     */
-    @Deprecated
-    @NotNull
-    public static String getServerName() {
-        return server.getServerName();
-    }
-
-    /**
-     * Get an ID of this server. The ID is a simple generally alphanumeric ID
-     * that can be used for uniquely identifying this server.
-     *
-     * @return the ID of this server
-     * @deprecated not a standard server property
-     */
-    @Deprecated
-    @NotNull
-    public static String getServerId() {
-        return server.getServerId();
-    }
-
     /**
      * Get world type (level-type setting) for default world.
      *