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