com.ibm.wala.cast.loader.AstField.isFinal() was only checking for the qualifier CAstQualifier.CONST and not also CAstQualifier.FINAL. The attached patch adds an or to include FINAL check.
Created using svn diff
Created using svn diff