LanguageTool: don't crash if REST protocol isn't set

[LibreOffice.git] / distro-configs / Jenkins / linux_clang_dbgutil_64

--enable-dbgutil
--enable-compiler-plugins
--enable-kf5
--disable-compiler-plugins-analyzer-pch
--disable-dependency-tracking
--disable-split-debug
--with-jdk-home=/etc/alternatives/java_sdk_11
--enable-odk