Switched tomcat restart key binding as well as build spring key binding.

The new tomcat key binding is F12, and the new spring key binding is F4.