equal
deleted
inserted
replaced
40 val NAME = "name" |
40 val NAME = "name" |
41 val Name = new Properties.String(NAME) |
41 val Name = new Properties.String(NAME) |
42 |
42 |
43 val KIND = "kind" |
43 val KIND = "kind" |
44 val Kind = new Properties.String(KIND) |
44 val Kind = new Properties.String(KIND) |
|
45 |
|
46 val CONTENT = "content" |
|
47 val Content = new Properties.String(CONTENT) |
45 |
48 |
46 val SERIAL = "serial" |
49 val SERIAL = "serial" |
47 val Serial = new Properties.Long(SERIAL) |
50 val Serial = new Properties.Long(SERIAL) |
48 |
51 |
49 val INSTANCE = "instance" |
52 val INSTANCE = "instance" |