Remove Javadoc for GitHub, because that documents is not possible to be
viewed online.