Updated buldjava.xml to remove Promela parser generation.