Add pinned Java 25 to Mise on WSL workstation

ansible/inventory/group_vars/workstation_dev_wsl.yml

@@ -12,9 +12,10 @@ workstation_dev_wsl_packages:
   - python3-pip
   - tmux
 
-# Java 11 and Maven are managed by Mise on this Fedora WSL profile. Keep their
-# versions pinned; update them deliberately.
+# Java 11, Java 25 and Maven are managed by Mise on this Fedora WSL profile.
+# Keep their versions pinned; update them deliberately.
 workstation_mise_java_version: temurin-11.0.31+11
+workstation_mise_java_25_version: 25.0.2
 workstation_mise_maven_version: 3.9.16
 
 workstation_is_wsl: true

ansible/roles/profile_workstation_dev_wsl/tasks/main.yml

@@ -66,6 +66,17 @@
   changed_when: false
   failed_when: false
 
+- name: Check whether the pinned Java 25 version is installed with Mise
+  tags: [packages, mise, java, wsl]
+  ansible.builtin.command:
+    cmd: "mise where java@{{ workstation_mise_java_25_version }}"
+  become_user: "{{ username }}"
+  environment:
+    HOME: "{{ user_home }}"
+  register: workstation_mise_java_25_where
+  changed_when: false
+  failed_when: false
+
 - name: Check whether the pinned Maven version is installed with Mise
   tags: [packages, mise, maven, wsl]
   ansible.builtin.command:
@@ -86,6 +97,7 @@
     HOME: "{{ user_home }}"
   when: >-
     workstation_mise_java_where.rc != 0 or
+    workstation_mise_java_25_where.rc != 0 or
     workstation_mise_maven_where.rc != 0
 
 - name: Ensure WSL boot configuration file exists