return;
	protected void parseRFC1036(String str) {		//RFC1036DATEFMT = "EEEE, DD-MMM-YY HH:MM:SS ZZZ"		//                        0123456789012345678901		int day, month, year, hour, min, sec;		parsedate: try {			/* skip past day */			int i = str.indexOf(", "); //$NON-NLS-1$			if (i == -1) {				break parsedate;			}			str = str.substring(i + 2);			day = Integer.parseInt(str.substring(0, 2));			if (str.charAt(2) != '-') {				break parsedate;			}			month = locateMonth(str.substring(3, 6));			if (str.charAt(6) != '-') {				break parsedate;			}			year = Integer.parseInt(str.substring(7, 9));			year += (year < 70) ? 2000 : 1900; /* y2k window */			if (str.charAt(9) != ' ') {				break parsedate;			}			hour = Integer.parseInt(str.substring(10, 12));			if (str.charAt(12) != ':') {				break parsedate;			}			min = Integer.parseInt(str.substring(13, 15));			if (str.charAt(15) != ':') {				break parsedate;			}			sec = Integer.parseInt(str.substring(16, 18));			if (str.charAt(18) != ' ') {				break parsedate;			}			time.set(year, month, day, hour, min, sec);			return;		} catch (NumberFormatException e) {		}		valid = false;	}