Fixes issue #14
(another way would be not to use JDK internal packages... ;-))