char chars[] = new char[8192];
char[] chars = new char[8192];
	protected String readFully(BufferedReader reader)	{		try		{			char chars[] = new char[8192];			StringBuffer sb = new StringBuffer();			int read = 0;			while ( ( read = reader.read(chars) ) != -1 )			{				sb.append(chars, 0, read);			}			return sb.toString();		}		catch (IOException x)		{			throw handle(x);		}				}