debian/jdk.sh /etc/profile.d/ debian/jdk.csh /etc/profile.d/