From 2a2a208fa1651e0558755c4804a2a9db1433a345 Mon Sep 17 00:00:00 2001
From: Matthias Sohn <matthias.sohn@sap.com>
Date: Wed, 22 Feb 2023 01:06:06 +0100
Subject: [PATCH] Use Java 11 ProcessHandle to get pid of the current process

Change-Id: I790f218601c1d5e1b39c4101e3b2708e76b9d782
---
 .../org/eclipse/jgit/internal/storage/file/GC.java   | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java b/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java
index 4e8164c77..080af97cb 100644
--- a/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java
+++ b/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java
@@ -1713,17 +1713,7 @@ private String getProcDesc() {
 		}
 
 		private long getPID() {
-			String processName = java.lang.management.ManagementFactory
-					.getRuntimeMXBean().getName();
-			if (processName != null && processName.length() > 0) {
-				try {
-					return Long.parseLong(processName.split("@")[0]); //$NON-NLS-1$
-				} catch (Exception e) {
-					return 0;
-				}
-			}
-
-			return 0;
+			return ProcessHandle.current().pid();
 		}
 
 		private String getHostName() {