jdk1.4.2 port and incorrect manpath

[Ian A. Tegebo]

I read in man(1) that the MANPATH is comiled into the man binary; after
building the jdk14 port (1.4.2p7_2), I find that the man pages for java
are in /usr/local/jdk1.4.2/man and thus are not accessible except by
specifying them in particular.

   1) Do I need recompile man?
   2) Is the port broken?: I did not see a bug for it, nor a list post.
   3) Is there something else I'm missing?

I'm currently cvsupping to get 1.4.2p8_2.

--
Ian Tegebo