Fix for 4.2 java preferences