1.1 --- a/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Feb 08 10:53:20 2017 +0100
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Feb 08 11:41:15 2017 +0100
     1.3 @@ -114,7 +114,7 @@
     1.4          this.log_path_ = log_path;
     1.5          bridge_logger_ = new BridgeLogger(log_path);
     1.6          client_list_ = new ClientList();
     1.7 -        time_out_times_ = new Vector();
     1.8 +        time_out_times_ = new Vector<>();
     1.9          setUpBridgeLog();
    1.10          //*TTY*/startThreadsFirstTime();
    1.11          /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");