equal
deleted
inserted
replaced
26 element password { text }?, |
26 element password { text }?, |
27 element driver { text }?, |
27 element driver { text }?, |
28 element property { |
28 element property { |
29 attribute name { text }, |
29 attribute name { text }, |
30 text |
30 text |
31 }* |
31 }*, |
|
32 element tunnel { |
|
33 element command { text }, |
|
34 element argument { |
|
35 attribute type { "literal" | "host" | "port" | "env" | "dbProperty" }?, |
|
36 text |
|
37 }* |
|
38 }? |
32 }*, |
39 }*, |
33 |
40 |
34 element defaultFormatter { text }?, |
41 element defaultFormatter { text }?, |
35 |
42 |
36 element formatter { |
43 element formatter { |