public String toGMTString() { if (!isGMT) { Date d = new Date(this.millis); d.isGMT = true; return d.toGMTString(); }  refresh_components();  return (date) + " " + months[month] + " " + (1900 + year) + " " + fixed_int(hrs) + ":" + fixed_int(min) + ":" + fixed_int(sec) + " " + "GMT"; }
public String toGMTString() { java.text.DateFormat format = java.text.DateFormat.getInstance(); format.setTimeZone(TimeZone.getTimeZone("GMT")); return format.format(this); }
	public String toGMTString() {		if (!isGMT) {			Date d = new Date(this.millis);			d.isGMT = true;			return d.toGMTString();		}		refresh_components();		return (date) + " " + months[month] + " " + (1900 + year) + " " + fixed_int(hrs) + ":" + fixed_int(min) + ":" + fixed_int(sec) + " " + "GMT";	}