private void writeLine(String s) {
    execute(() -> {
      ByteBuffer out = ByteBuffer.wrap((s + '\n').getBytes(StandardCharsets.US_ASCII));
      synchronized (myLock) {
        myConnection.write(out);
      }
    });
  }
private void writeLine(String s)