Added new attributes era and removeLeadingZeros to DateFormat

This is needed for Entity Facts to parse BC dates. It also enables the possibility to remove leading zeros of date numbers (in java.text.DateFormat the year always has 4 digits, filled with zeros).