JavaでVectorでキャストするのがめんどくさい上に危険と思っていたのですが、最近のJavaではそれをしなくてよいというのはうすうす知っていたのですが、改めて確認したのでメモ。ついでに取り出すときのfor文も短く書くことができるようになったことを知りま…