Improved javadoc portability of makefile.
Improved javadoc portability of makefile.

* Added guard to patching Javadoc so that it will not be attempted for
  Javadoc content without the bug, i.e. Javadoc versions prior to 7.
  Tested with javadoc 1.6.0.

kboyd/Roc