javadoc in the package Tools update fixes #11