added db.getRemovedNodes() and db.getRemovedEdges() so that you can get at nodes...
[guess.git] / demo / 
tree5741c2b6d353cafc10787a8bcc17527d6a3ceb7c
drwxr-xr-x   ..
-rw-r--r-- 1855 DemoApp1.java
-rw-r--r-- 3228 DemoApp2.java