import Test.DocTest
main = doctest ["-XOverloadedStrings", "Jose.Jws", "Jose.Jwe"]