Use the JRE from OpenJDK7 for TWS