use the correct java property