So when I change the server properties, it is telling to to restart the server so the changes will happen. But I can't find a restart button. So how do I restart my server? Do I just stop the server then start it again? Or is there a specific way I have to do it?