* make getPlugin() public, so I can use it in SimStateIOPlugin