EmptyTDecl.java

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

public class EmptyTDecl {
    public void propagateChanges() {}
}