Alloy — создание экземпляра .xml из .als

Мне нужно создать случайные экземпляры .xml из .als в моей программе. Мне удалось это сделать, запустив сплав в фоновом режиме (невидимый JFrame) и вызвав функции doOpen, doExecuteLatest и doShowLatest. Но необходимость ждать запуска сплава каждый раз, когда я запускаю свой код, — это боль. Я думаю, что было бы более эффективно, если бы я просто использовал раздел кода сплава, который выполняет эту процедуру (я думаю, это был бы кодкод). Кто-нибудь знает как это сделать? Я нашел код сплава довольно запутанным...