SpecExtractor.java seems to work