javadoc type foxed