Alberto and George, I thought I might add that these are first-rate
questions you guys are asking. Alberto, we'd love to hear how you're
doing on getting ECJ running on DRM. Back when I attended PPSN last,
I mentioned that this should be straightforwardly doable but only
after ECJ's EvolutionState has been made self-contained -- which it
has as of the last version this past summer. Feel free to ping us
with technical questions for getting the porting working!