JBF file extension - What is a .JBF format, and how to open it?