Make deftest names unique, import needed Java classes

Also eliminate a redundant definition of the function paused?