#KJ-85 Read JavaFAN papers. Added JavaFAN examples.
#KJ-107 Fix tools search/debug to work with split semantics. Fixed search and search-cached. Not tested yet on real examples.