First commit FlattenAllProcedures.java