State automatic nickname alt behavior in Javadoc