javaenv: fix for missing shift