svoid test_isJavaXClassName() {
  assertTrue(isJavaXClassName("main$Bla", "abc$"));
}