Issue #1: Fix for OpenJDK 7 cannot be installed.