Hover over the start.bat file and click (not double click) so it is "highlighted". Then change the name to Server_Start.command
Then click the new named file (not double click) so it is "highlighted again". And go over to file, open with, textedit. Then follow the command instructions below...