Artifacts of JavaWriter #1548