Method randomInt3

spotbugsTestCases/src/java/BadRandomInt.java:41–44

()

    }

    @ExpectWarning("DMI")
    static int randomInt3() {
        return new Random().nextInt();
    }
}