Record the maven config option in the learning progress.