XStream xstream = new XStream();
        File grafxml = new File("graf.xml");
        graf = (Graph) xstream.fromXML(grafxml);