/** Creates an area with the given parameters. */ public Area createArea(String displayName, String internalName, Area parent, String url) { Area area = new Area(); area.setTool(this); area.setDisplayName(displayName); area.setInternalName(internalName); area.setParent(parent); area.setUrl(url); synchronizePlugin(area); return area; }