This is a Java thing and while I'm not sure it's needed I also don't think it could hurt. Perhaps we can ask Denis what he thinks?