Library.load(f);
open(flnm);
}
public void createViewFrame() {
LibraryTreeNode libraryRoot = new LibraryTreeNode(new File("src"), null);
final JTree libraryTree = new JTree(libraryRoot);
gvhandler = new GraphViewTransfer(libraryTree);
libraryTree.setCellRenderer(libraryRoot);
libraryTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);
libraryTree.setDragEnabled(true);