licenses(["notice"])

java_binary(
    name = "jflex_bin",
    main_class = "jflex.Main",
    visibility = ["//visibility:public"],
    runtime_deps = [":jflex_jar"],
)

java_import(
    name = "jflex_jar",
    jars = ["jflex-1.7.0.jar"],
)