JNAerator: missed -skipDeprecated plugging (issue #480)