JML Eclipse

Pessoal, tenho um arquivo *.jml aqui e preciso abri-lo… nao tenho nenhuma familiaridade com esse tipo de arquivo, pelo que pesquisei tenho que utilizar a ferramenta JML Eclipse, alguem ja trabalhou com ela, sabe onde posso procurar material, fazer o download… preciso de um norte. :oops:

obrigado.