It might be safer, clearer to use the explicit type here.  Only for the Java stuff though.