JBIDE-13445 - new api for options that change per server-mode