disable tracing in launch
allow running ide backend with short hostname (use -Derlide.shortname)
gh44: fix problem with syntax highlight dialog