increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle