import default import semmle.code.java.frameworks.spring.SpringXMLElement /** Represents a <key> element in Spring XML files*/ class SpringKey extends SpringXMLElement { SpringKey() { this.getName() = "key" } }