#!/bin/sh
# Strip out the parts of the source tree that are unrelated to Java.
version=$2
filename=$3
tar -xzf $filename --wildcards 'Healpix_*/src/java' --strip-components=2 && rm $filename && rm java/build.xml && tar -czf $filename java --transform=s,java/,healpix_java-$version/,  && rm -rf java && jh_repack $@
