deletion of antlr from repo but no from WK