chiark / gitweb /
delete .java.security after checking MD5 signatures