package lolo.scans;/** Instances of this class scan for one or more Java whitespace characters. The test * is done by the <tt>java.lang.Character.isWhitespace()</tt> method. * <p>By default these symbols will be ignored. * * @author <a href="http://www.inf.uos.de/bernd" target="_blank">Bernd K&uuml;hl</a>           (<a href="mailto:bernd@informatik.uni-osnabrueck.de">bernd@informatik.uni-osnabrueck.de</a>) */public class JavaWhitespace extends SimpleWhitespace {    /** Test if the argument is a Java whitespace character. */    protected boolean isWhitespace(char ch) {        return Character.isWhitespace(ch);    }}