modify a little OndemandInsensitiveWorklist.java