I want to check that a method is not run and tried to do it with an Expectation setting `times = 0;`, however I don't get the expected behaviour.

For example, the following test passes, although the `Session#stop` method is called, and the expectation has a `times = 0;` condition:

```
public static class Session {
    public void stop() {}
}

public static class Whatever {
    Session s = new Session();
    public synchronized void method() {
        s.stop();
    }
}

@Test
public void testWhatever () throws Exception {
    new Expectations(Session.class) {
        @Mocked Session s;
        { s.stop(); times = 0; } //Session#stop must not be called
    };
    final Whatever w = new Whatever();
    w.method(); // this method calls Session#stop => the test should fail...
                // ... but it passes
}

```

Note: If I replace the code with `{ s.stop(); times = 1; }`, the test passes too: I must be missing something obvious here...