What application should i open the server.properties file with on a mac? I'm thinking terminal but I dont want to screw anything up.
