I was hoping we could use ${user.home}/jboss-runtimes literally in the settings, but I guess this will work for now assuming I can unselect this later on as a user.