Merge branch 'stable-5.2' into stable-5.3

* stable-5.2:
  Prepare 5.1.13-SNAPSHOT builds
  JGit v5.1.12.201910011832-r
  Do not rely on ArrayIndexOutOfBoundsException to detect end of input

Change-Id: I3f11a83e177daefa0a2e91173f70f9547067f713
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>

org.eclipse.jgit/src/org/eclipse/jgit/lib/Config.java

@@ -1465,12 +1465,10 @@ public class Config {
 		}
 
 		int read() {
-			try {
-				return buf[pos++];
-			} catch (ArrayIndexOutOfBoundsException e) {
-				pos = buf.length;
+			if (pos >= buf.length) {
 				return -1;
 			}
+			return buf[pos++];
 		}
 
 		void reset() {