public er.bugtracker.Difficulty difficulty() { return (er.bugtracker.Difficulty)storedValueForKey("difficulty");
public Difficulty difficulty() { return (Difficulty)storedValueForKey("difficulty");
    public er.bugtracker.Difficulty difficulty() {        return (er.bugtracker.Difficulty)storedValueForKey("difficulty");    }