return SimpleDateFormat.getDateTimeInstance().format(myDate);
return DateFormat.getDateTimeInstance().format(myDate);
    public String toString() {        if (myRevision >= 0) {            return Long.toString(myRevision);        } else if (myName != null) {            return myName;        } else if (myDate != null) {            return SimpleDateFormat.getDateTimeInstance().format(myDate);        }        return "{invalid revision}";    }