[{"label":"Java RMI"},{"label":"RMI"}]