Artifacts of webtools-sourceediting_master #1000