refine to jdk7 format