@Override
	public void checkPropertyAccess(String key) {
		// allow access to some harmless properties
		switch (key) {
			case "line.separator":
			case "user.dir":
			case "file.separator":
			case "java.class.version":
			case "file.encoding":
			case "java.compiler":
			case "user.timezone":
			case "user.country":
			return;
		}
		checkOrigin("System.getProperty(" + key + ")");
		super.checkPropertyAccess(key);
	}