installing Java 7 in Ubuntu 12.04 and obtaining the version of Java used in Ant