minor cosmetic change in bibtex.java