Artifacts of webtools-jsdt_master #1991