https://github.com/jboss/ide-config