String[] lines= null;
	static String[] readLines(InputStream is) {				String[] lines= null;		try {			StringBuffer sb= null;			List list= new ArrayList();			while (true) {				int c= is.read();				if (c == -1)					break;				if (c == '\n' || c == '\r') {					if (sb != null)						list.add(sb.toString());					sb= null;				} else {					if (sb == null)						sb= new StringBuffer();					sb.append((char)c);				}			}			if (sb != null)				list.add(sb.toString());			return (String[]) list.toArray(new String[list.size()]);		} catch (IOException ex) {			return null;		} finally {			if (is != null) {				try {					is.close();				} catch (IOException ex) {				}			}		}	}