>It's also in the source release and in the Git repo, so I assume it is >supposed to be there.
That depends. It might be in the source repo for testing purposes only. So I would suggest we keep it in the source distribution (otherwise source build would fail), and we exclude the file from the binary distribution to prevent users from accidental use of rmi_keystore.jks. Vladimir
