Fixes #118. lib/tools.jar has been deleted from pom.xml.

Fixes #118.