Fix javadoc errors that are normally masked in Maven doc runs - #528

Fix javadoc errors that are normally masked in Maven doc runs#528

jcflack merged 4 commits into

REL1_6_STABLEtada/pljava:REL1_6_STABLEfrom

doc/REL1_6_STABLE/jdocerrstada/pljava:doc/REL1_6_STABLE/jdocerrsCopy head branch name to clipboard