package wellformedMapEntryNoInstanceClass

/* XPECT validationIssues ---
error at 'class B extends A { }' message 'A class that inherits from a map entry class must have instance class name 'java.util.Map$Entry''
--- */

class A wraps java.util.Map$Entry
{
  String key
  String value
}

class B extends A
{
}
