chiark / gitweb /
Install Java files in the right place.