Artifacts of JavaWriter #1536