EPSのサイズ変更とクロップ

    // Set the path to the documents directory.
    String dataDir = getDataDir();

    //Create an input stream for an EPS file
    FileInputStream inputEpsStream = new FileInputStream(dataDir + "input.eps");

    //Initialize the PsDocument object with input stream
    PsDocument doc = new PsDocument(inputEpsStream);

    //Get the initial bounding box of EPS image
    int [] initialBoundingBox = doc.extractEpsBoundingBox();

    //Create an output stream for the PostScript document
    FileOutputStream outputEpsStream = new FileOutputStream(dataDir + "output_crop.eps");

    //Create a new bounding box
    //Bounding box is represented by 4 numbers: x0, y0, x, y, where x0 - left margin, y0 - top margin, x - (x0 + width), y - (y0 + height)
    float[] newBoundingBox = new float[] { 260, 300, 480, 432 };

    //Crop the EPS image and save to the output stream                   
    //cropping of the image is changing its bounding box so that the new values of the bounding box will be within the initial bounding box, that is
    //initialBoundingBox[0] <= newBoundingBox[0] <= initialBoundingBox[2]
    //initialBoundingBox[1] <= newBoundingBox[1] <= initialBoundingBox[3]
    //initialBoundingBox[0] <= newBoundingBox[2] <= initialBoundingBox[2]
    //initialBoundingBox[1] <= newBoundingBox[3] <= initialBoundingBox[3]
    doc.cropEps(outputEpsStream, newBoundingBox);