merged "expandverb" changes into KWICPrinter.java