sS jDynamicTree_dummy_value = new String("<dummy>");

sS jDynamicTree_dummy() {
  ret jDynamicTree_dummy_value;
}