javadoc refinements, checkNotNull checks