312313314315316317318319320321
return (DoubleJid) getJid(key); } public Double getDouble(String key) throws Exception { DoubleJid ij = getDoubleJid(key); if (ij == null) return null; return ij.getValue(); }