Merge pull request github#6318 from Marcono1234/patch-1

Java: Fix documentation mistake for `ProtoPom`

Author: aschackmull

java/ql/src/semmle/code/xml/MavenPom.qll

@@ -15,7 +15,7 @@ private string normalize(string path) {
 /**
  * An XML element that provides convenience access methods
  * to retrieve child XML elements named "groupId", "artifactId"
- * and "versionID", typically contained in Maven POM XML files.
+ * and "version", typically contained in Maven POM XML files.
  */
 class ProtoPom extends XMLElement {
   /** Gets a child XML element named "groupId". */