// Figure 9.22public class EuroAbbrevDate extends Date {	/**	pre:	1 <= m <= 12  	 *			and d is a sensible day for month m	 *			(Note that this method doesn't check date validity) 	 *	post:	day == d  and  month == m  and  year == y  	 */	public EuroAbbrevDate( int d, Month m, int y )  {    	super(d, m, y);	}		/**	post:	result is a string in the form "d.m.y2"	 *			where m is the month number, d is the day number	 *			and y2 is the last two digits of the year.   	 */	public String dateString()   {		return "" + day + "." + (month.ordinal()+1) + "." + twoDigitYear();	}}