Added some methods for lint4j