As part of a routine check, it was discovered that the platform-specific java.security files were slightly out-of-sync. Except for some provider properties, all other properties should be the same.