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