Merge into master from pull request #341:
Merge of14 branch into master (https://github.com/floodlight/loxigen/pull/341)