how to make tomcat7 use the Oracle JDK in Ubuntu