private void updateResourceDetails(String resourceName) {
		GridResource resource = null;
		for (GridResource tmpRes : resources) {
			if(tmpRes.getName().equals(resourceName)) {
				resource = tmpRes;
				break;
			}
		}

		if(resource == null) {
			return;
		}
		
		ResourceCharacteristics charact = resource.getResourceCharacteristics();
		String descr = "Resource ID: " + charact.getResourceID() + "\n" +
			"Number of PEs: " + charact.getNumPE() + "\n" +
			"Allocation Policy: " + resource.getAllocationPolicy() + "\n" +
			"Time Zone: " + charact.getResourceTimeZone() + "\n" +
			"Rating per PE: " + charact.getMIPSRatingOfOnePE() + " MIPS";
		jlResourceInfo.setText(descr);
	}