tomcat java opts - headless and server