Finish plumbing for double RS elements.

Change-Id: Ic708dcaeda4966bb2121ecb6834f56cfa68ad58e
diff --git a/graphics/java/android/renderscript/RenderScript.java b/graphics/java/android/renderscript/RenderScript.java
index 1df416d..c952d79 100644
--- a/graphics/java/android/renderscript/RenderScript.java
+++ b/graphics/java/android/renderscript/RenderScript.java
@@ -502,6 +502,7 @@
     Element mElement_U32;
     Element mElement_I32;
     Element mElement_F32;
+    Element mElement_F64;
     Element mElement_BOOLEAN;
 
     Element mElement_ELEMENT;