JBIDE-16481: Starting F2 twice is now possible