The installer for Replication Server Data Assurance Option 15.7.1 SP100 installs JRE 7.0 Update 7, but it does not remove JRE 6.0 Update 20, which is used by Replication Server Data Assurance Option 15.6. However, the corresponding registry entry indicates only JRE 7.0 Update 7.