JBIDE-13403 Code completion for jQuery Mobile HTML attributes