Make deftest names unique, import needed Java classes

Also eliminate a redundant definition of the function paused?
Merge pull request #5 from jafingerhut/master

Make deftest names unique, import needed Java classes