header.properties renamed.