}
}
+ /*
private boolean get_string(String line, String label, string_ref s) {
if (line.startsWith(label)) {
String quoted = line.substring(label.length()).trim();
return false;
}
}
+ */
private int status(String status_name) {
if (status_name.equals("unknown"))