jdef.py 0.1.5

edit /oval:timestamp> it had a type "s"