public void amendLocal(boolean newSource)\r
{\r
String url = "http://localhost:8080/", nickname = "";\r
-\r
+ boolean seqsrc=false;\r
if (!newSource)\r
{\r
int selectedRow = table.getSelectionModel().getMinSelectionIndex();\r
nickname = table.getValueAt(selectedRow, 0).toString();\r
url = ((DasSource) localSources.get(nickname)).getUrl();\r
+ seqsrc = ((DasSource)localSources.get(nickname)).hasCapability("sequence");\r
}\r
\r
JTextField nametf = new JTextField(nickname, 40);\r
JTextField urltf = new JTextField(url, 40);\r
JCheckBox seqs = new JCheckBox("Sequence Source");\r
- seqs.setSelected(((DasSource)localSources.get(nickname)).hasCapability("sequence"));\r
+ seqs.setSelected(seqsrc);\r
JPanel panel = new JPanel(new BorderLayout());\r
JPanel pane12 = new JPanel(new BorderLayout());\r
pane12.add(new JLabel("Nickname: "), BorderLayout.CENTER);\r