if (info._type == IMAGETYPE_JPEG) imageArray.put("channels", 3);
  public Value getimagesize(Env env,			    Path file,			    @Optional ArrayValue imageArray)  {    if (! file.canRead())      return BooleanValue.FALSE;    ImageInfo info = new ImageInfo();        ReadStream is = null;        try {      is = file.openRead();      if (! parseImageSize(is, info))	return BooleanValue.FALSE;    } catch (Exception e) {      log.log(Level.FINE, e.toString(), e);      return BooleanValue.FALSE;    } finally {      try { is.close(); } catch (IOException e) {}    }    if (imageArray == null)      imageArray = new ArrayValueImpl();    imageArray.put(new LongValue(info._width));    imageArray.put(new LongValue(info._height));    imageArray.put(new LongValue(info._type));    imageArray.put(new StringValue("width=\"" + info._width +				   "\" height=\"" + info._height + "\""));    if (info._bits >= 0)      imageArray.put(new StringValue("bits"), new LongValue(info._bits));    if (info._mime != null)      imageArray.put("mime", info._mime);        return imageArray;  }