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.

Existing users are moved.