``keySet()'' implemented; temporary