FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed JDBC connection

Hi, I found a false negative in Infer 1.3.0 when the returned Connection is never closed or returned.

**Affected tool**

`Infer 1.3.0`

**Affected checker**

`Infer PULSE_RESOURCE_LEAK`

**Minimal reproducer**

```java
import java.sql.DriverManager;
import java.sql.SQLException;

class InferLeakJdbc {
void test() throws SQLException {
DriverManager.getConnection("jdbc:test");
}
}
```

**Reproduction command**

```bash
infer --version
infer run --pulse --bufferoverrun --enable-issue-type PULSE_RESOURCE_LEAK -- javac spotbugs-to-infer-resourceleak-fn-jdbc.java
```

**Current behavior**

Infer completes successfully but produces no `PULSE_RESOURCE_LEAK` finding.

**Expected behavior**

Infer should report `PULSE_RESOURCE_LEAK` at line 6 because the returned Connection is never closed or returned.