// Play with proxy getters and setters
//
echo("\n>>> Play with proxy getters and setters");
String[] t1 = new String[] { "t1" };
MonitorInfo[] t2 = new MonitorInfo[] {
new MonitorInfo("dummy", 0, 0,
new StackTraceElement("dummy", "dummy", "dummy", 0)) };
Map<String,String[]> t3 = new HashMap<String,String[]>();
t3.put("key", t1);
Map<String,MonitorInfo[]> t4 = new HashMap<String,MonitorInfo[]>();
t4.put("key", t2);