change demo to be exception for JML