DateTool.isLeapYear() adattípus változás