Coverity Scan: User Models for Java - Overriding resource leak checker models of java.lang classes

Question

I am using Coverity on a project for work where we scan Java Card source code with it. Since Java Card is a subset of Java and Coverity basically understands Java, it is ind