# HG changeset patch
# User chzeiher
# Date 1542627222 -3600
# Node ID 62ddeead622bb97444bb2ce924fc42badee1329e
# Parent  358345478edc0f4ef42d6e8697448a82ff52b364
#OTHER by chzeiher
Added version checking for JavaBridge.

diff -r 358345478edc -r 62ddeead622b Socket.st
--- a/Socket.st	Mon Nov 12 16:24:46 2018 +0100
+++ b/Socket.st	Mon Nov 19 12:33:42 2018 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1992 by Claus Gittinger
 	      All Rights Reserved