Merge branch 'stable-2.13'

* stable-2.13:
  ReplicationMetrics: Make members private final

Change-Id: Icf7dd3f5c9dd518c8984546aba9708525a428f79
tree: 9f4ff2e592cf080331a4c9c8482011c2b6fc5c69
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE