Rolled back Joern's changes. They've been moved to another branch, and will be merged...
tree4f9c1258ac74495ee53ff69ed31f1eccc3399ee3
-rw-r--r-- 15099 GPL-LICENSE.txt
-rw-r--r-- 1074 MIT-LICENSE.txt
-rw-r--r-- 2380 Makefile
-rw-r--r-- 2151 README
-rw-r--r-- 5013 build.xml
drwxr-xr-x - build
drwxr-xr-x - src
-rw-r--r-- 6 version.txt