{
stream = new GZIPInputStream(stream);
}
}
*/
GoTree goTree = new GoTree();
if( stream != null )
{
try {
goTree.read( new InputStreamReader(stream) );
System.out.println("goTree loaded from file '"+name+"'");
} catch (FileFormatException e) {
// TODO Auto-generated catch block
e.printStackTrace();
} catch (IOException e) {