Upon further reflection, the Profile attribute defined by JDK-8003255 does not provide sufficient benefits, particularly with the possibility of an alternative way to express a dependency on a platform module in the future. So this bug is submitted to remove the support for the Profile attribute.