Converted AadlPropertyView from Java to Xtend to make it easier to
modify.