Simplify WSL detection in verify.sh (use single grep -E alternation)

Agent-Logs-Url: https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/sessions/eb1d08ac-8aac-4de0-a889-9254eed0953a

Co-authored-by: fedejeanne <2205684+fedejeanne@users.noreply.github.com>

Author: Copilot

products/eclipse-junit-tests/src/main/scripts/verify/verify.sh

@@ -85,8 +85,7 @@ open_in_browser() {
     local file="$1"
 
     # WSL: use Windows explorer / default browser via wslview or explorer.exe
-    if grep -qi microsoft /proc/version 2>/dev/null || \
-       grep -qi wsl /proc/version 2>/dev/null; then
+    if grep -qiE '(microsoft|wsl)' /proc/version 2>/dev/null; then
         # Convert the Linux path to a Windows path
         local win_path
         win_path="$(wslpath -w "$file" 2>/dev/null || echo "")"