Omnifizzle

Okay so I have one hopefully simple question, how do you change the name of your server?? I want to change mine from "Minecraft Server" to something else but the option isn't in the server.properties file.