removed ValidWidening.java