Added temporary hack for detecting JRE on Windows
tree382fd3f55bff253603a3f307d5f099f93a2cfff6
-rw-r--r-- 12 .gitignore
-rw-r--r-- 311 0solve
-rw-r--r-- 26536 COPYING
-rw-r--r-- 2745 README
-rw-r--r-- 320 install_copy.cmd
-rw-r--r-- 201 install_copy.sh
-rw-r--r-- 227 install_full.cmd
-rw-r--r-- 55 setup.cfg
-rw-r--r-- 4398 setup.py
drwxr-xr-x - share
drwxr-xr-x - zeroinstall