Support JML Constraints

[Fumapps]

Motivation

Currently, for Java the Query-DSL constraints are generated as simple comments.
Since the abstract syntax is provided with enough details about the constraints, these comments could also be generated in valid JML syntax.