100644 blob 4d732946261d49102d9cb0ee3e1d5116e4251527	DTDEditor.java
100644 blob eb8f90c80eeb82cd52aae023838798e00a2ee455	DTDPropertiesMessages.java
100644 blob 93d5312387992411563cf0692f0e8f0035191478	DTDPropertiesMessages.properties
040000 tree a847d170e78e331e08cc9789b7b98e34d04bfc64	properties