Github user zentol commented on a diff in the pull request:
https://github.com/apache/flink/pull/5840#discussion_r190155490
--- Diff: flink-libraries/flink-ml/pom.xml ---
@@ -116,6 +119,9 @@
<id>default</id>
<activation>
<activeByDefault>true</activeByDefault>
+ <property>
+ <name>default</name>
--- End diff --
This profile is never activated from the command-line and doesn't require
the property.---
