Keep up-to-date with Mind4SE master.

Keep up-to-date with Mind4SE master.