extract jdk8-specific dfa test