added a hint for how to change java distribution on debian