healpix.jar src/healpix/essentials/*.java
