// returns true if a translator had been loaded
static  bool refreshTranspiler() {
  ret veryQuickJava_refresh();
}