Update notes for submitted changes

* Fix unclosed resource warning in SmartOutputStream
* JschConfigSessionFactory: fix boxing warning
* SshSupport#runSshCommand: don't throw exception in finally block
* Don't override already managed maven-compiler-plugin version
* Remove unused import from CreateFileSnapshotBenchmark
* Remove duplicate ignore_optional_problems entry in .classpath

14/bfe08757fa6267df2844c7365af9fb9ebc1578

@@ -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: Wed, 08 Jan 2020 19:27:24 -0500
+Reviewed-on: https://git.eclipse.org/r/155211
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

42/09a0f84b1917c0640d781ac54e8c5ffbadd574

@@ -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: Wed, 08 Jan 2020 19:27:24 -0500
+Reviewed-on: https://git.eclipse.org/r/155212
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

d4/22a820860447905027d3f88ee72880036ecfb0

@@ -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: Wed, 08 Jan 2020 19:27:24 -0500
+Reviewed-on: https://git.eclipse.org/r/155207
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

d9/e957dc2485d4a0737e537298e575365ec5eb2c

@@ -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: Wed, 08 Jan 2020 19:27:24 -0500
+Reviewed-on: https://git.eclipse.org/r/155210
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

eb/ea36aa07520f7f4b873930ca9b4dbca8db52ef

@@ -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: Wed, 08 Jan 2020 19:27:24 -0500
+Reviewed-on: https://git.eclipse.org/r/155209
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1

f4/e653328a9ba14202c7b655bc54cf1f9dcef932

@@ -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: Wed, 08 Jan 2020 19:27:24 -0500
+Reviewed-on: https://git.eclipse.org/r/155208
+Project: jgit/jgit
+Branch: refs/heads/stable-5.1