Artifacts of JavaWriter #1544