FALSE NEGATIVE: PULSE_RESOURCE_LEAK misses an unclosed bound ServerSocket

Hi, I found a false negative in Infer 1.3.0 when a bound ServerSocket is allocated and never closed or returned.

**Affected checker**

`Infer PULSE_RESOURCE_LEAK`

**Minimal reproducer**

```java
import java.io.IOException;
import java.net.ServerSocket;

class InferLeakServerSocket {
void test() throws IOException {
new ServerSocket(0);
}
}
```

**Reproduction command**

```bash
infer --version
infer run --pulse --enable-issue-type PULSE_RESOURCE_LEAK -- javac infer-resourceleak-fn-serversocket-model.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 `new ServerSocket(0)` creates a bound server socket that is never closed or returned.