15   void new_relation(String id, String name, String grp, String proj, String to_id, String to_name, String to_grp, String to_proj);  

    15   void new_relation(String id, String name, String grp, String proj, String to_id, String to_name, String to_grp, String to_proj);  

    16   void new_select(String id, String proj);

    16   void new_select(String id, String proj);

    17   void startexpand();

    17   void startexpand();

    18   void endexpand();

    18   void endexpand();

    19   void username(String uid);

    19   void username(String uid);

    20 }

    22 }

    21 

    23 

    22 void bindJavascript(JavaScript js) {

    24 void bindJavascript(JavaScript js) {

    23   javascript = js;

    25   javascript = js;

    24 }

    26 }