Look, I do not have any cracked stuff in my pc, I bought Minecraft, and yet the server.properties file is uneditable. How is it possible? I just want to play with some friends (who also have premium account). Please help! I do not know how to change the online-mode from False to True