checker/tests/aggregate/Placeholder.java

// We need a file to start the checker.
// We should add more files to test aggregate checker functionality.

public class Placeholder {}