Files like DOMHTMLAppletElement and DOMHTMLOptionElement should use @property when built for 10.5.
I have an idea how to do this.
We could preprocess these headers to pick one style or the other. But that would remove any other #if and #ifdefs in the file.
This has been fixed for a while now.