}
String java = splitTranslator[0];
String as3 = splitTranslator[1];
request.getLogger().info("Adding translator: [" + java + ", " + as3 + "]");
translators.add(new PackageTranslator(java, as3));
}
// tide
String useTide = request.getExtraOptions().get( "tide" );
if ( useTide != null )
{