{"task": {"agent_timeout": 3000, "task": "testgen__spotbugs__spotbugs-2844", "verifier_timeout": 3000, "instruction": "The following text contains a user issue (in <issue/> brackets) posted at a repository. Further, you are provided with file contents of several files in the repository that contain relevant code (in <code> brackets). It may be necessary to use code from third party dependencies or files not contained in the attached documents however. Your task is to identify the issue and implement a test case that verifies a proposed solution to this issue. More details at the end of this text.\n<issue>\n      This happens with SpotBugs version 4.8.3 (current release) and OpenJDK 17 (Eclipse Temurin).\n\nExample code:\n```java\npublic final class Example\n{\n    public static String example(String resource)\n    {\n        try (InputStream input = Example.class.getResourceAsStream(resource))\n        {\n            if (input == null)\n            {\n                return null;\n            }\n            else\n            {\n                return new String(input.readAllBytes(), StandardCharsets.ISO_8859_1);\n            }\n        }  // bugs reported on this line\n        catch (IOException ex)\n        {\n            throw new UncheckedIOException(ex);\n        }\n    }\n}\n```\nNP_LOAD_OF_KNOWN_NULL_VALUE and RCN_REDUNDANT_NULLCHECK_OF_NULL_VALUE are incorrectly reported, due to the null test. These false positives are probably caused by the try-with-resources byte code. Null resource values are valid in try-with-resources statements. Due to the scope of the resource variable, it would be inconvenient to move the null check outside the try-with-resources statement.\n\nApplying `@SuppressFBWarnings` to just the resource variable declaration also doesn't work.\n\n</issue>\nPlease generate test cases that check whether an implemented solution resolves the issue of the user (at the top, within <issue/> brackets).\nYou may apply changes to several files.\nApply as much reasoning as you please and see necessary.\nMake sure to implement only test cases and don't try to fix the issue itself.\nYou are not allowed to read git history.\n", "memory": "8192m", "runnable": false, "difficulty": "hard", "language": "", "cpus": "", "instruction_truncated": false, "category": "test-generation", "compose": false, "has_solution": true, "oracle": null, "docker_image": "", "taskset": "devopsgym", "tags": ["test-generation", "devops-bench"]}, "runs": []}