Change version of jtreg fixes #11