[tptacek]

What does this have to do with anything? The Java constraint was supplied by a user, not the model.