Corriendo JADEX en Eclipse

Con estas URLs es posible instalar JADEX o incluir JADEX en eclipse, el tutorial que está en la pagina del proyecto http://selab.fbk.eu/dnguyen/ejade/download.html es muy bueno, tiene imagenes y es muy sencillo, es como siempre se espera (copiar una URL la url es la siguiente EJADE - http://dit.unitn.it/~dnguyen/ejade/update y bajar el plugin sin ningun inconveniente) facil, otra forma está consignada en la siguiente pagina http://mnu.cbml.es/?p=227 .estoy por correr al menos el agente de hola mundo en mi eclipse, por el momento hasta aca dejo.