for (p=production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (e=production.all(); e.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )
for (Enumeration p = production.all(); p.hasMoreElements(); )