diff --git a/.github/workflows/certora_4337.yml b/.github/workflows/certora_4337.yml
index 349917c2..cb6f1c01 100644
--- a/.github/workflows/certora_4337.yml
+++ b/.github/workflows/certora_4337.yml
@@ -20,9 +20,6 @@ jobs:
     strategy:
       matrix:
         rule: ['verify4337Module.sh', 'verifyTransactionExecutionMethods.sh', 'verifyValidationData.sh']
-    defaults:
-      run:
-        working-directory: ./modules/4337
     steps:
       - uses: actions/checkout@v3
 
@@ -30,10 +27,6 @@ jobs:
         uses: actions/setup-python@v4
         with: { python-version: 3.11 }
 
-      - name: Install java
-        uses: actions/setup-java@v3
-        with: { java-version: '17', java-package: jre, distribution: semeru }
-
       - name: Install certora cli
         run: pip install -Iv certora-cli==6.1.3
 
@@ -47,6 +40,7 @@ jobs:
         run: npm ci
 
       - name: Verify rule ${{ matrix.rule }}
+        working-directory: ./modules/4337
         run: |
           echo "key length" ${#CERTORAKEY}
           chmod +x ./certora/scripts/${{ matrix.rule }}