Updated to ECLiPSe 6.0, improved some commenting