if(string!=null)\r
showIdentity = Boolean.valueOf(string).booleanValue();\r
\r
+ string = Cache.getProperty("GAP_SYMBOL");\r
+ if(string!=null)\r
+ gapSymbol = string.charAt(0);\r
+\r
string = Cache.getProperty("SHOW_FULL_ID");\r
if(string!=null)\r
showFullId = Boolean.valueOf(string).booleanValue();\r