590591592593594595596597598
/** * @generated */ public Tool createTool() { Tool tool = new UnspecifiedTypeCreationTool(elementTypes); tool.setProperties(getToolProperties()); return tool; }
268269270271272273274275276
727374757677787980
225226227228229230231232233
186187188189190191192193194
808182838485868788
209210211212213214215216217