Use 14.04.3 (instead of .2) maintenance release of Ubuntu cloud image on AWS EC2.

Newer maintenance release means fewer (security) updates to install and thus faster instance provisioning.

[Feature][Toolbox]

org.lamport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/EC2CloudTLCInstanceParameters.java

@@ -21,12 +21,12 @@ public class EC2CloudTLCInstanceParameters extends CloudTLCInstanceParameters {
 
 	@Override
 	public String getImageId() {
-		// Ubuntu 64bit 14.04.2 Trusty paravirtual/instance-store release
+		// Ubuntu 64bit 14.04.3 Trusty paravirtual/instance-store release
 		// https://cloud-images.ubuntu.com/releases/14.04/release/
 		// or http://cloud-images.ubuntu.com/locator/ec2/
 		// See http://aws.amazon.com/amazon-linux-ami/instance-type-matrix/
 		// for paravirtual vs. hvm
-		return "us-east-1/ami-3234315a";
+		return "us-east-1/ami-0a7a3f60";
 	}
 
 	@Override