Main.java

class Main {
   public static void main( String[] args ) {
	   kernelConstants.outputFileExtension = "$$.java";
		original(args);
	}
}