object test {
def verifyKeyword(keyword : String, source : java.io.File, pos : Int) = {
assert(keyword != null);
}
def verifyKeyword(source : java.io.File, pos : Int) =
verifyKeyword("", source, pos);