Update WikiExtractor.java