Update FlattenerRT.java