|Re: [eclipse-dev] Trigger build after (persistent) property change|
I just found IResource.touch. I have no idea why I had overlooked it. Maybe I I've seen and immediately ignored it, because I assumed it would change my file modification date (it doesn't). Anyway, that's what I was looking for.
I apologize for the noise.