proper java syntax