UmodSmExt.java

import java.util.*;
import java.io.*;

public class UmodSmExt {

    public void reduce2java( AstProperties props ) {
        AstNode.error( tok[0], "cannot have refines clauses in Jak2Java translations" );
    }
}