build.dom-deprecated.properties for revision 8a728f86de04f81b34b11a4f482c1c8da00930ae is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.