Sequence property must be capitalised for SBOL export to work. If you don't you get lots of angry null pointer exceptions.