Fix scala GUI to work with new theory data format