Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs

Re-assign community