When exporting the Java metamodel with:
'famixJava.mse' asFileReference writeStreamDo: [:stream | FamixJavaModel metamodel exportOn: stream]
We have the property users under trait elements.
The importer does not understand that property and raises an error.