Java frontend for Stratego/XT