Related resources for type casting in java