Getting the compiled file in CompilationParticipant from BuildContext

[laeubi]

I'm playing around with CompilationParticipant and can already iterate through the source files from the BuildContext.

So I know the IFile of the source, how do I get the IFile of the class file (e.g. inside CompilationParticipant.buildFinished(IJavaProject)?