The port java/jump should not install any documentation if NOPORTDOCS is set.
Responsible Changed From-To: freebsd-java->znerd I'll handle this myself.
State Changed From-To: open->closed Fixed.