package org.sugarj.driver.transformations.renaming; public class renaming extends Main { }