| changeset 25522 | 10d789df41bb |
| parent 25186 | 63e1a2ec30f5 |
| 25521:80551dd1d902 | 25522:10d789df41bb |
|---|---|
83 |
83 |
84 /** |
84 /** |
85 * Getter for the "JvmMemManagerIndex" variable. |
85 * Getter for the "JvmMemManagerIndex" variable. |
86 */ |
86 */ |
87 public Integer getJvmMemManagerIndex() throws SnmpStatusException { |
87 public Integer getJvmMemManagerIndex() throws SnmpStatusException { |
88 return new Integer(JvmMemManagerIndex); |
88 return JvmMemManagerIndex; |
89 } |
89 } |
90 |
90 |
91 } |
91 } |