Steph, Is it very difficult to use 3.5.1 source instead of 3.5.0? Eclipse generally launch x.x.0 in June and update to x.x.1 in Sept., and there is already 3.5.1. If possible, it will be much better to use 3.5.1 source for porting instead of 3.5.0.