// Test case for Issue 144 (now fixed):
// https://github.com/typetools/checker-framework/issues/144
public class Uninit14 {
  private final Object o;

  {
    try {
      o = new Object();
    } catch (Exception e) {
      throw new RuntimeException(e);
    }
  }
}