java/typeMigration/testData/refactoring/typeMigration/t19/after/test.java

import java.util.*;
class Test {
    HashMap<Integer, Integer> f;
    void foo() {
        Set<Integer> s = f.keySet();
    }
}