/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
    private static String pattern = ".*[04-9].*";
 
    public static void main (String[] args) throws java.lang.Exception {
        test("ABC0123", false);
        test("XYZ002456789", false);
        test("ABC123", true);
        test("ABC1", true);
    }
 
    private static void test(String str, boolean expect) {
        boolean result = !str.matches(pattern); // ! because that's your *dis*allow
        System.out.println(str + " => " + result + (result == expect ? " OK" : " *ERROR*"));
    }
}
 

LyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CiAgICBwcml2YXRlIHN0YXRpYyBTdHJpbmcgcGF0dGVybiA9ICIuKlswNC05XS4qIjsKCiAgICBwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24gewogICAgICAgIHRlc3QoIkFCQzAxMjMiLCBmYWxzZSk7CiAgICAgICAgdGVzdCgiWFlaMDAyNDU2Nzg5IiwgZmFsc2UpOwogICAgICAgIHRlc3QoIkFCQzEyMyIsIHRydWUpOwogICAgICAgIHRlc3QoIkFCQzEiLCB0cnVlKTsKICAgIH0KCiAgICBwcml2YXRlIHN0YXRpYyB2b2lkIHRlc3QoU3RyaW5nIHN0ciwgYm9vbGVhbiBleHBlY3QpIHsKICAgICAgICBib29sZWFuIHJlc3VsdCA9ICFzdHIubWF0Y2hlcyhwYXR0ZXJuKTsgLy8gISBiZWNhdXNlIHRoYXQncyB5b3VyICpkaXMqYWxsb3cKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4oc3RyICsgIiA9PiAiICsgcmVzdWx0ICsgKHJlc3VsdCA9PSBleHBlY3QgPyAiIE9LIiA6ICIgKkVSUk9SKiIpKTsKICAgIH0KfQo=