remove redundant casts due to Configuration#getInt returning int now