diff --git a/.github/build.sh b/.github/build.sh old mode 100755 new mode 100644 diff --git a/.github/setup.sh b/.github/setup.sh old mode 100755 new mode 100644 diff --git a/javacAll b/javacAll old mode 100755 new mode 100644