Impring the draft about static checking in Java