Class JavaDFAGraphRule