
        Use openjdk-r PPA for OpenJDK8 on Ubuntu 14.04

0a0b59e