return;
	protected void parseRFC1123(String str) {		//RFC1123DATEFMT = "EEE, DD MMM YYYY HH:MM:SS ZZZ"		//                  01234567890123456789012345678		int day, month, year, hour, min, sec;		parsedate: try {			/* ignore day */			if ((str.charAt(3) != ',') || (str.charAt(4) != ' ')) {				break parsedate;			}			day = Integer.parseInt(str.substring(5, 7));			if (str.charAt(7) != ' ') {				break parsedate;			}			month = locateMonth(str.substring(8, 11));			if (str.charAt(11) != ' ') {				break parsedate;			}			year = Integer.parseInt(str.substring(12, 16));			if (str.charAt(16) != ' ') {				break parsedate;			}			hour = Integer.parseInt(str.substring(17, 19));			if (str.charAt(19) != ':') {				break parsedate;			}			min = Integer.parseInt(str.substring(20, 22));			if (str.charAt(22) != ':') {				break parsedate;			}			sec = Integer.parseInt(str.substring(23, 25));			if (str.charAt(25) != ' ') {				break parsedate;			}			time.set(year, month, day, hour, min, sec);			return;		} catch (NumberFormatException e) {		}		valid = false;	}