From 4e8852cea5a8155dce5d65e247d79e2d59ad6f05 Mon Sep 17 00:00:00 2001
From: Mercy7777777 <54562402+Mercy7777777@users.noreply.github.com>
Date: Sun, 6 Nov 2022 14:51:28 -0600
Subject: [PATCH] Old link of jpf is not avaliable.

---
 test-generator-tools/spf/get-tool.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test-generator-tools/spf/get-tool.sh b/test-generator-tools/spf/get-tool.sh
index 669509a..941eca2 100755
--- a/test-generator-tools/spf/get-tool.sh
+++ b/test-generator-tools/spf/get-tool.sh
@@ -12,8 +12,8 @@ rm -R -f "$CWD/jpf-symbc"
 rm -R -f ~/.jpf
 
 # clone repositories
-hg clone "http://babelfish.arc.nasa.gov/hg/jpf/jpf-core" "$CWD/jpf-core"
-hg clone "http://babelfish.arc.nasa.gov/hg/jpf/jpf-symbc" "$CWD/jpf-symbc"
+git clone "https://github.com/javapathfinder/jpf-core.git" "$CWD/jpf-core"
+git clone "https://github.com/javapathfinder/jpf-symbc.git" "$CWD/jpf-symbc"
 
 # configure JPF
 mkdir ~/.jpf