Set OpenJDK distribution in CI

Author: fwcd

.github/workflows/build.yml

@@ -12,6 +12,7 @@ jobs:
       - name: Setup JDK
         uses: actions/setup-java@v2
         with:
+          distribution: 'temurin'
           java-version: ${{ matrix.java }}
       - name: Build
         run: ./gradlew :server:build :shared:build

.github/workflows/deploy.yml

@@ -12,6 +12,7 @@ jobs:
       - name: Setup JDK
         uses: actions/setup-java@v2
         with:
+          distribution: 'temurin'
           java-version: '11'
       - name: Build distribution
         run: ./gradlew :server:distZip :grammars:distZip