package p;
aspect Asp {
  declare parents: * implements java.io.Serializable;
}