Configure properties for TCK