java_import(
    name = "jasmin",
    jars = ["jasmin.jar"],
    visibility = ["//visibility:public"],
)