Courthouse or that portion of any other building occupied by a circuit court, the Court of Appeals, the Supreme Court or the Oregon Tax Court or occupied by personnel related to the operations of those courts, or in which activities related to the operations of those courts take place