private String read_file(final File file) throws Exception
 {
	BufferedReader r = null;
	final StringBuffer sb = new StringBuffer();
	try
	{
	 r = new BufferedReader(new FileReader(file));
	 String line = null;
	 while ((line = r.readLine()) != null) sb.append(line).append("\n");
	}
	finally
	{
	 if (r != null) r.close();
	}
	return sb.toString();
 }