Fix issue with java - missing Ubuntu 12.4 option