/SymbianOSPreferencesPage.java/1.3/Sun May 22 15:47:39 2005//
/SymbianSDKsPreferencesPage.java/1.7/Sat Nov 20 16:40:55 2004//
/Win32ToolDlg.java/1.1/Wed Aug 11 18:24:55 2004//
/Win32ToolsPreferencesPage.java/1.1/Tue Aug 17 18:49:38 2004//
