Ensure we don't use new Android SDKs which are of course broken

.github/workflows/ci.yml

@@ -268,6 +268,10 @@ jobs:
     - uses: actions/checkout@v4
       with:
         fetch-depth: 5
+    - uses: actions/setup-java@v4
+      with:
+        distribution: 'zulu'
+        java-version: '8'
     - name: Install Android SDK 3859397 and NDK r14b
       run: |
         export ARCH=`uname -m`
@@ -282,6 +286,8 @@ jobs:
         pushd $GITHUB_WORKSPACE/tools/bin
         (yes 2>/dev/null | ./sdkmanager --sdk_root=$GITHUB_WORKSPACE "build-tools;26.0.1" "platforms;android-23") || echo
         popd
+
+        sudo rm -rf /usr/local/lib/android
     - name: Build
       run: |
         mkdir build-android-arm32