A Java-based file encryptor.