Various fixes from our production version
tree9e43fd5bb7c06486dc9a0799b2d95e02629bf2a1
-rw-r--r-- 1682 COPYRIGHT
-rw-r--r-- 14029 Shell.java
-rw-r--r-- 1020 build.xml
drwxr-xr-x - com