• The supporting document also considers:
  • the enhanced for statement
  • autoboxing and auto-unboxing
  • methods with variable number of parameters
  • the printf method
  • covariant return types
• See [21], [25], [26], [4], [14], [15], [3] and [13] for other Java 5 documents.