Small change in Javadoc main page title