kernelConstants.java

public class kernelConstants {

    // name of magic stub package for compiling refinements

    public static String stub = "stub";
}