import-io/jinn — pull request #144 by mjgp2 (2013-01-21 14:18:12+00:00)
Title: Update so that we can use a user's JRE if it is available; also tracks i...

...nstalled artifacts by storing hashes of installed versions.