Artifacts of webtools-sourceediting_master #1223