JBIDE-13938 starts server if requested