Package __redirected

Class JDKSpecific