update for javalang 3.0