Static analysis is not about fixing the "inherent flaws in Java." Findbugs does help mitigate issues from language design, but most things that it does would be silly to try to figure out a way to bake into the language itself.

http://findbugs.sourceforge.net/bugDescriptions.html