Commit 8e895c79e1d4c2a6727ee5729fe88bba1051ce33

DRC 2020-10-01T18:13:35

Java dox: Fix errors w/ javadoc in Java 8 or later