Fixing java_home so it properly includes time zone data (#334).

Removing LZMA decompression from extract_deb; apparently there's more to the tar.xz file format, and I found an appropriate deb package that uses gzip.