Updated to next Theia.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>

arduino-ide-extension/src/node/boards-service-impl.ts

@@ -35,7 +35,7 @@ export class BoardsServiceImpl implements BoardsService {
     protected readonly toolOutputService: ToolOutputServiceServer;
 
     protected discoveryInitialized = false;
-    protected discoveryTimer: NodeJS.Timeout | undefined;
+    protected discoveryTimer: NodeJS.Timer | undefined;
     /**
      * Poor man's serial discovery:
      * Stores the state of the currently discovered and attached boards.

arduino-ide-extension/src/node/monitor/monitor-service-impl.ts

@@ -56,7 +56,7 @@ export class MonitorServiceImpl implements MonitorService {
         if (this.connection) {
             this.disconnect();
         }
-        this.logger.info('<<< Disposing monitor service...');
+        this.logger.info('<<< Disposed monitor service.');
         this.client = undefined;
     }