{"task": {"agent_timeout": 3000, "task": "codegen__spotbugs__spotbugs-2844", "verifier_timeout": 3000, "instruction": "This is a code generation task. You are expected to write working code that solves the described problem.\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>\nFocus on implementing the required functionality correctly and efficiently. Treat this as a programming challenge.\nYou are not allowed to read git history.\n", "memory": "8192m", "runnable": false, "difficulty": "hard", "language": "", "cpus": "", "instruction_truncated": false, "category": "code-generation", "compose": false, "has_solution": true, "oracle": null, "docker_image": "", "taskset": "devopsgym", "tags": ["code-generation", "devops-bench"]}, "runs": []}