Hi. This is maybe more a Java question :)
I saw the cast() method in the code and really liked it as a clever trick to improve the ugly-ish syntax of casting in Java. But it is deprecated now. Is there a technical flaw or some performance disadvantage that makes it unsuitable?
Thanks