Switch from Debian to Ubuntu 12.04 (LTS).

We want a newer Java 7, which Ubuntu's security repo provides.
It fixes an issue with PowerMock.