attempt 6 to use AWS Codebuild

Author: Daniel Kroening

buildspec.yml

@@ -8,6 +8,7 @@ phases:
       - add-apt-repository -y ppa:ubuntu-toolchain-r/test
       - apt-get update -y
       - apt-get install -y g++-5 flex bison make git libwww-perl patch
+      - apt-get install -y openjdk-7-jdk
       - update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-5 1
       - update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 1
   build: