A simple plugin to workaround SSL problems in REST Discovery