Use https for crappy-jsp-mode too