some code snippet of Java