TODO list updated
cond default indentation revisited (Fix #592)
Maven build: switch from Juno to Kepler. Kepler as the default target.