import java.util.*;
import Jakarta.util.*;
import java.io.*;
public class Ute {
// replace extension syntax with corresponding java syntax
public UnmodifiedTypeDeclaration prepareReplace( JTSParseTree t ) {
UnmodifiedTypeExtension ute =
( UnmodifiedTypeExtension ) arg[0];
return ute.prepareReplace( t );
}
public boolean isExtension() {
return true;
}
}