added transitivity-utils javadoc