private void paste(){
        // Paste from clipboard
        Transferable t = Toolkit.getDefaultToolkit().getSystemClipboard().getContents(null);
        try {
            if( t!=null && t.isDataFlavorSupported(DataFlavor.stringFlavor) ) {
                String txt = (String)t.getTransferData(DataFlavor.stringFlavor);
                jTextArea1.setText(txt);
            } 
        } 
        catch(UnsupportedFlavorException e1) {
            java.util.logging.Logger.getLogger(Gphelper.class.getName()).log(java.util.logging.Level.SEVERE, null, e1);
        } catch (IOException e1) {
            java.util.logging.Logger.getLogger(Gphelper.class.getName()).log(java.util.logging.Level.SEVERE, null, e1);
        } 
    }