Artifacts of JavaWriter #1531