docs: private static void log(PrintStream ps, String header, 
                              String owner, String message, Exception ex) {
          // Only allow one instance to print to the given stream.
          synchronized (ps) {
              // Create output stream for logging
              LogStream logStream = new LogStream(ps);
  	    
              logStream.time = new Date(System.currentTimeMillis());
              logStream.header = header;
              logStream.owner = owner;
  	    
              if (message != null)
                  logStream.println(message);
  	    
              if (ex != null) {
                  logStream.println(ex.getMessage());
                  ex.printStackTrace(logStream);
              }
          }
      }