Initial version of soot examples, StateCarver using XStream libraries
Removed class files