Where does the Java Converter Converter tool look for EXP files?

using the JavaCard conversion tool, I kept getting errors like

error: export file rmi.exp of package java.rmi not found.

and

error: export file framework.exp of package javacard.framework not found.

Errors disappeared gradually after I copied directories under

/usr/local/javacard/java_card_kit-2_2_2/api_export_files

to the local directory. Now this is clearly hacking. No, calling it a “hack” would be an insult to almost any other real hack. This is clearly not how things should work, right?

So, how do I tell the converter tool where it should look for .exp files?

And, yes, I also installed JC_HOME=/usr/local/javacard/java_card_kit-2_2_2.