Increase SerialMonitor reopening timeout to 10 seconds

Author: facchinm

app/src/processing/app/Editor.java

@@ -84,7 +84,7 @@
 @SuppressWarnings("serial")
 public class Editor extends JFrame implements RunnerListener {
 
-  public static final int MAX_TIME_AWAITING_FOR_RESUMING_SERIAL_MONITOR = 5000;
+  public static final int MAX_TIME_AWAITING_FOR_RESUMING_SERIAL_MONITOR = 10000;
 
   private final Platform platform;
   private JMenu recentSketchesMenu;