public final boolean isDefaultPat() { switch( this ) { case DefaultPat(): return true; default: return false;
public boolean isDefaultPat() { switch(this) { case DefaultPat(): return true; default: return false;
    public final boolean isDefaultPat() {        switch( this ) {        case DefaultPat():            return true;        default:            return false;        }    }