Use Java 5-compatible generics example

Co-authored-by: brunoborges <129743+brunoborges@users.noreply.github.com>

Author: Copilot

content/language/raw-collections-to-generics.yaml

@@ -15,10 +15,10 @@ oldCode: |-
 
   String name = (String) names.get(0);
 modernCode: |-
-  List<String> names = new ArrayList<>();
+  List<String> names = new ArrayList();
   names.add("Duke");
 
-  String name = names.getFirst();
+  String name = names.get(0);
 summary: "Replace raw collection types and retrieval casts with compile-time generic type safety."
 explanation: "Raw collections accept arbitrary object types and defer type errors until a cast executes.\
   \ Generic type arguments let the compiler validate writes and reads, remove casts, improve IDE assistance,\

proof/language/RawCollectionsToGenerics.java

@@ -5,8 +5,8 @@
 /// Proof: raw-collections-to-generics
 /// Source: content/language/raw-collections-to-generics.yaml
 void main() {
-    List<String> names = new ArrayList<>();
+    List<String> names = new ArrayList();
     names.add("Duke");
 
-    String name = names.getFirst();
+    String name = names.get(0);
 }