for (int i = 0; i < STANDARD_POLICY_DATABASE.length; ++i) { String[] tuple = STANDARD_POLICY_DATABASE[i];
for (String[] tuple : STANDARD_POLICY_DATABASE) {
	static PolicyDatabase getDatabase() {		PolicyDatabase database = policyDatabaseLocal.get();		if (database == null) {			database = new PolicyDatabase();			for (int i = 0; i < STANDARD_POLICY_DATABASE.length; ++i) {				String[] tuple = STANDARD_POLICY_DATABASE[i];				database.add(new PolicyDatabaseEntry(tuple[0], tuple[1], tuple[2]));			}						// TODO: should add policies set by @CheckReturnValue annotations						policyDatabaseLocal.set(database);		}		return database;	}