A python implementation of the JavaSeis format