ADD: implement hashcode()
CHG: some changes according to JDK1.7 compatibility
CHG: remove some obsolete casts
CHG: some obsolete else branches has been removed
CHG: source/target JRE is now 1.7
CHG: remove some obsolete casts
CHG: obsolete casts have been removed