Update servertools for github move

Change-Id: I5f1e2eefc83ff20387dfc6a4856d713da70e667c
diff --git a/.gitmodules b/.gitmodules
index 7f4a05d..2d27885 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -8,7 +8,7 @@
 
 [submodule "webtools.servertools"]
 	path = webtools.servertools
-	url = ../../servertools/webtools.servertools
+	url = https://github.com/eclipse-servertools/servertools.git
 
 [submodule "webtools.jsdt"]
 	path = webtools.jsdt
diff --git a/scripts/fetch-SHAs.sh b/scripts/fetch-SHAs.sh
index 35fb57e..889359a 100755
--- a/scripts/fetch-SHAs.sh
+++ b/scripts/fetch-SHAs.sh
@@ -53,10 +53,10 @@
     gitURL="https://github.com/eclipse-jsdt/webtools.jsdt/commits/"${branch}"
   elif [[ ${d} == "sourceediting" ]]; then
     gitURL="https://github.com/eclipse-webtools-sourceediting/sourceediting/commits/"${branch}"
-  else
   elif [[ ${d} == "webservices" ]]; then
     gitURL="https://github.com/eclipse-webservices/webservices/commits/"${branch}"
-  else
+  elif [[ ${d} == "servertools" ]]; then
+    gitURL="https://github.com/eclipse-servertools/servertools/commits/"${branch}"
   else
     gitURL="https://git.eclipse.org/c/${d}/webtools.${d}.git/commit/?h=${branch}"
   fi