Artifacts of JavaWriter #1600