tuned --- avoid redundant patterns;

--- a/src/Pure/Tools/server.scala	Sat Apr 09 12:02:38 2022 +0200
+++ b/src/Pure/Tools/server.scala	Sat Apr 09 12:03:56 2022 +0200
@@ -348,11 +348,7 @@
           }
         }
       }
-      catch {
-        case _: IOException => false
-        case _: SocketException => false
-        case _: SocketTimeoutException => false
-      }
+      catch { case _: IOException => false }
   }