Simple shell script for replacing the OpenJDK by Sun JDK