final Timer t = new Timer(800, null);
t.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
int n = MailBug.latestBuildNumber();
// If beyond 3 seconds, then we should stop because the log message may run into other user messages
if (System.currentTimeMillis() - now >= 3000 || n <= Version.buildNumber()) { t.stop(); return; }
latestAlloyVersion = n;
latestAlloyVersionName = MailBug.latestBuildName();
log.logBold("An updated version of the Alloy Analyzer has been released.\n");
log.log("Please visit alloy.mit.edu to download the latest version:\nVersion " + latestAlloyVersionName + "\n");
log.logDivider();