remove non-existing options from tomcat config