Jenkins build is back to normal : flex-typedefs #148

[flex . ci . builds]

See <http://apacheflexbuild.cloudapp.net:8080/job/flex-typedefs/148/changes>