// Minimal test case for Issue #244 // https://github.com/typetools/checker-framework/issues/244 class JPanelTest extends javax.swing.JPanel {}