Merge branch 'master' into subtree
-rw-r--r-- 11412 DataLoader.java
-rw-r--r-- 17731 Instance.java
-rw-r--r-- 35141 LICENSE
-rw-r--r-- 31420 Main.java
-rw-r--r-- 10 VERSION
drwxr-xr-x - bundles
drwxr-xr-x - data
-rwxr-xr-x 280 derename.sh
drwxr-xr-x - library
-rw-r--r-- 144 libs.txt
drwxr-xr-x - output
-rw-r--r-- 385 package-info.java
drwxr-xr-x - reader
drwxr-xr-x - searchable
-rwxr-xr-x 414 subtree.txt
drwxr-xr-x - supported
drwxr-xr-x - test