//package Hello;

/** 
 * Test case for demonstrating the bug. 
 */ 
public class TestCase { 

    /** 
     * Returns the value of "abcProperty". 
     * 
     * @return value of "abcProperty". 
     */ 
    public boolean isAbcProperty() { 
        return false; 
    } 
     
    /** 
     * Returns the value of "property". 
     * 
     * @return value of "property". 
     */ 
    public boolean isProperty() { 
        return false; 
    } 

}