this can't be right - jbosstools should not be pointing to devstudio by default.