Draft about static-checking in Java