Hi all, just committed the fix for warnings (part1) in Pivot sources, but not the fix for our eclipse plugin because new methods I used in 3.6.2 exists only from 3.6.x ... so if it works good even in eclipse 3.7.x I think it's better to keep them unchanged, and see later (eclipse 4.x) what to do.
Bye
