diff --git a/dev-support/checkstyle_report.py b/dev-support/checkstyle_report.py old mode 100644 new mode 100755 diff --git a/dev-support/findHangingTests.py b/dev-support/findHangingTests.py old mode 100644 new mode 100755