kernelConstants.java

class kernelConstants {
   public static String outputFileExtension = ".java";
}