Description Vincent PERICART 2011-09-02 04:44:53 EDT

Build Identifier: I20110805-1200

The following snippet will compile without warning on JDK7.

    private static void closeThat(Closeable that) throws IOException {
        try (Closeable toClose = that) {
            // closes toClose
        }
    }

Though, on Eclipse, it will output a warning ("The declared exception IOException is not actually thrown...").

Removing the exception :

    private static void closeThat(Closeable that) {
        try (Closeable toClose = that) {
            // closes toClose
        }
    }

will pass the compiler check on Eclipse, but will fail to compile with the JDK7.
It is indeed translateable to : 

    private static void closeThat(Closeable that) {
        Closeable toClose = that;
        try {
           
        } finally {
            toClose.close(); // throws IOException
        }
    }


Reproducible: Always

Steps to Reproduce:
1. Input provided code in Eclipse Java editor