pub const DOUBLE: JavaType;