The following program reports that a variable may not have been initialized.
In fact, there are no conditions under which it will not be initialized.

import java.io.*;

public class bug
{
    void foo() {
String s;

try {
InputStream in = new FileInputStream("/dev/null");
s = "abc";
}
catch (Throwable t) {
s = "def";
}
        finally {
System.out.println(s);
}
    }
}