Use AST.JLS4 instead of AST.JLS3

The latter is deprecated since 3.7.1.