installJDevExtension