Javadoc comments for ADiffElement.Kind enum values