Its suggested by the readme for os x users and I have no idea, how tomcat can recognize it in another way