Sophie
/bin/sh
rm -f /usr/share/javadoc/gjt-jpl-pattern ln -s gjt-jpl-pattern-0.2 /usr/share/javadoc/gjt-jpl-pattern