Update linux properties to contain default tomcat7 home dir