Add @DoNotDiscover annotation to work around JUnitRunner bug.