diff -Naur Healpix_3.31/src/java/build.xml Healpix_3.31.new/src/java/build.xml
--- Healpix_3.31/src/java/build.xml 2016-03-21 23:56:43.000000000 +0100
+++ Healpix_3.31.new/src/java/build.xml 2017-04-15 15:08:43.538053744 +0200
@@ -1,6 +1,6 @@
<?xml version="1.0"?>
<project name="HEALPix build file" default="all" basedir=".">
- <property name="lib" value="${basedir}/lib"/>
+ <property name="lib" value="/usr/share/java"/>
<property name="classes" value="${basedir}/classes"/>
<property name="dist" value="${basedir}/dist"/>
<property name="src" value="${basedir}/src"/>