The android GUI does not work if Oracle's JDK is installed. This patch forces it to use OpenJDK