『Sun Java System Portal Server 7.1 Desktop Customization Guide』のタイトルが『Sun Java System Portal Server 7.2 Enterprise Sample Guide』に変更されています。
