[BUGFIX] Doubled class name in generated ext_tables.php file