Docker build for OpenJDK 7 on Ubuntu 12.04