JBIDE-15612: Make timeout configurable