fixed problems with lint4j