src/game/java/net/minecraft/server/ServerInfo.java

package net.minecraft.server;

public interface ServerInfo {
    String getMotd();

    String getServerVersion();

    int getPlayerCount();

    int getMaxPlayers();
}