I think the cast here is unnecessary.  I believe java will just do a widening conversion.