A GUI or command line tool to convert .jrprint files to .pdf