Update notes for submitted changes

* Fix org.eclipse.jdt.core.prefs of org.eclipse.jgit.junit
* Add missing javadoc in org.eclipse.jgit.junit
* Enhance RepeatRule to report number of failures at the end
* Fix FileSnapshotTests for filesystem with high timestamp resolution
* Retry deleting test files in FileBasedConfigTest
* Measure filesystem timestamp resolution already in test setup
* Refactor FileSnapshotTest to use NIO APIs
* Measure stored timestamp resolution instead of time to touch file

37/6c20f45457c0db11850c6e45e11ee764072508

@@ -0,0 +1,7 @@
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/146312
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

77/3cbb5f6373dec45a1520666ab6dc5727d34808

@@ -0,0 +1,7 @@
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/146221
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

93/144f1438b58264b9fe0dfed195407bc9c0ab1b

@@ -0,0 +1,7 @@
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/145874
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

99/d351d0cbcf93502a5a6888c4032b8bb1fc2e92

@@ -0,0 +1,8 @@
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Code-Review+1: Han-Wen NIenhuys <hanwen@google.com>
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/145654
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

9e/ff45e4f2e54a08a04b91aae47b5245f74c0582

@@ -0,0 +1,7 @@
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/145876
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

ba/5d13ed42d0b312a298b2197e638fb280441a51

@@ -0,0 +1,7 @@
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/145999
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

bc/e4ac97fabc5ea3627c06e24f7a2fab38642514

@@ -0,0 +1,7 @@
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/146235
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

ed/a2e95fa8748813cbcfc7b7fbedefb002999cfa

@@ -0,0 +1,7 @@
+Verified+1: JGit Bot <jgit-bot@eclipse.org>
+Code-Review+2: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-by: David Pursehouse <david.pursehouse@gmail.com>
+Submitted-at: Thu, 25 Jul 2019 00:17:32 -0400
+Reviewed-on: https://git.eclipse.org/r/145875
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1