}  valid = false;
valid = false; }
	protected void parseASC(String str) {		//ASCTIMEFMT  = "EEE MMM dD HH:MM:SS YYYY"		//               012345678901234567890123		int day, month, year, hour, min, sec;		parsedate: try {			/* ignore day */			if (str.charAt(3) != ' ') {				break parsedate;			}			month = locateMonth(str.substring(4, 7));			if (str.charAt(7) != ' ') {				break parsedate;			}			if (str.charAt(8) == ' ') {				day = Integer.parseInt(str.substring(9, 10));			} else {				day = Integer.parseInt(str.substring(8, 10));			}			if (str.charAt(10) != ' ') {				break parsedate;			}			hour = Integer.parseInt(str.substring(11, 13));			if (str.charAt(13) != ':') {				break parsedate;			}			min = Integer.parseInt(str.substring(14, 16));			if (str.charAt(16) != ':') {				break parsedate;			}			sec = Integer.parseInt(str.substring(17, 19));			if (str.charAt(19) != ' ') {				break parsedate;			}			year = Integer.parseInt(str.substring(20));			time.set(year, month, day, hour, min, sec);			return;		} catch (NumberFormatException e) {		}		valid = false;	}