if(this.order == null) { JdtPlugin.getDefault().getPluginLogger().log(this.name + ": null order, setting to '0'"); this.order= "0"; }
	public IPath getPath() {		IPath path = new Path("");		path = path.append(PathCoder.encode(new Path(this.name)));		path = path.append(PathCoder.encode(this.srcPath));		path = path.append(PathCoder.encode(this.javaDocPath));		path = path.append(PathCoder.encode(new Path(this.order)));		if (this.isExported()) {			path = path.append(PathCoder.encode(new Path("true")));		} else {			path = path.append(PathCoder.encode(new Path("false")));		}		return path;	}