@Test
 public void test4() throws Throwable {
   LavaLogger lavaLogger0 = new LavaLogger();
   lavaLogger0.info("");
 }