# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1632067467 -7200
# Node ID 8c1cad878da28606a9780d5318c49c60e4f71c16
# Parent  2db7f803d55db90959687ab51b5f7b690477343f
Download Java headers from GitHub.

* src/default-octave.mk, src/release-octave.mk, src/stable-octave.mk: The
  OpenJDK Mercurial server became unreliable. Download Java headers for
  jdk7-b146 from GitHub servers instead.

diff -r 2db7f803d55d -r 8c1cad878da2 src/default-octave.mk
--- a/src/default-octave.mk	Sun Sep 19 14:32:07 2021 +0200
+++ b/src/default-octave.mk	Sun Sep 19 18:04:27 2021 +0200
@@ -162,12 +162,12 @@
       && [ "$(ENABLE_JAVA)" == "yes" ]; then \
       if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java'; \
-        $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/share/javavm/export/jni.h \
           -O $(HOST_INCDIR)/java/jni.h; \
       fi; \
       if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java/win32'; \
-        $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/windows/javavm/export/jni_md.h \
           -O $(HOST_INCDIR)/java/win32/jni_md.h; \
       fi; \
     fi
diff -r 2db7f803d55d -r 8c1cad878da2 src/release-octave.mk
--- a/src/release-octave.mk	Sun Sep 19 14:32:07 2021 +0200
+++ b/src/release-octave.mk	Sun Sep 19 18:04:27 2021 +0200
@@ -183,12 +183,12 @@
       && [ "$(ENABLE_JAVA)" == "yes" ]; then \
       if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java'; \
-        $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/share/javavm/export/jni.h \
           -O $(HOST_INCDIR)/java/jni.h; \
       fi; \
       if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java/win32'; \
-        $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/windows/javavm/export/jni_md.h \
           -O $(HOST_INCDIR)/java/win32/jni_md.h; \
       fi; \
     fi
diff -r 2db7f803d55d -r 8c1cad878da2 src/stable-octave.mk
--- a/src/stable-octave.mk	Sun Sep 19 14:32:07 2021 +0200
+++ b/src/stable-octave.mk	Sun Sep 19 18:04:27 2021 +0200
@@ -162,12 +162,12 @@
       && [ "$(ENABLE_JAVA)" == "yes" ]; then \
       if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java'; \
-        $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/share/javavm/export/jni.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/share/javavm/export/jni.h \
           -O $(HOST_INCDIR)/java/jni.h; \
       fi; \
       if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java/win32'; \
-        $(WGET) -N http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/raw-file/tip/src/windows/javavm/export/jni_md.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/windows/javavm/export/jni_md.h \
           -O $(HOST_INCDIR)/java/win32/jni_md.h; \
       fi; \
     fi