public class Dummy {
    // We don't need any code here.
    // The actual tests are performed within the LubglbChecker using assert statements.
}