Includes the following commits. There is nothing that we particularly
need; this is just to keep up to date with the latest revision.
6bae5a88b - Upgrade maven-jar-plugin to 3.2.0
5220e1801 - Upgrade maven-source-plugin to 3.2.0
d36488ad2 - Fix benchmark pom.xml to include distribution managment config
452c38cd2 - Run JMH benchmarks using bazel
06de3a1dd - Benchmark for creating files and FileSnapshots
25a611ccc - Implement benchmark for looking up FileStore of a given Path
9a638b08d - JMH benchmark for SimpleLruCache
9328236cf - Update API problem filters
5b7be296d - Remove unused API problem filters
6d407fe72 - Silence API errors for new API added since 5.1.0
e8c361906 - DirCacheCheckout: don't use deprecated method
64f2407f1 - WorkingTreeModifiedEvent: must be fired explicitly after merge
7c75a68b9 - reftable: enforce ascending order in sortAndWriteRefs
b7d1eb418 - HttpSupport.proxyFor(): use only scheme, host, and port
cf11a03bc - Documentation/technical/reftable: change suggested file names
b4e5ae3b3 - Update Orbit to S20191025144108 and Ant to 1.10.7.v20190926-0324
50e9de62d - Update Tycho to 1.5.1
333c20aa4 - Upgrade Jetty to 9.4.22.v20191022
Change-Id: I25e39b22f9461c1c38b368e147f0652d862793dd
652c593dc9