import jalview.analysis.GeneticCodes;
import jalview.api.SplitContainerI;
import jalview.bin.Cache;
-import jalview.bin.Jalview;
import jalview.gui.JvSwingUtils;
import jalview.gui.Preferences;
import jalview.io.FileFormats;
{
// for Web-page embedding using id=align-frame-div
- setName(Jalview.getAppID("alignment"));
+ setName(Platform.getAppID("alignment"));
jbInit();