We'll delay the TP release to make sure Docker is in and is usable for JBoss Tools 4.3.0.Beta1 and JBoss Developer Studio 9.0.0.Beta1. Plan is to merge your suggested changes in TP today.As I was deep in the code for the Docker tooling until last night, I miserably failed to respond to Mickaël's comment on https://issues.jboss.org/browse/JBIDE-19848, but I'd like to know if it's still possible to include the Docker tooling hosted on Eclipse.org/linuxtools in our Target Platforms before tomorrow's code freeze.I tried to give as much details as possible and submitted 2 PR to include the new requirements and update the .target files for JBoss Tools and Dev Studio.
I understand that the delay is very short and once again, I apologize for this last-minute request.