Restored javadoc html formatting to whatever arbitrary standard the original author used.