MemberDoc.java

package com.sun.javadoc;
import checkers.nullness.quals.*;

public abstract interface MemberDoc extends ProgramElementDoc {
  public abstract boolean isSynthetic();
}