console.dtd
console.properties
