DotWriter.dotToPNG( dotCode, filenameField.getText() );
try { DotWriter.dotToPNG( dotCode, filenameField.getText() ); } catch (IOException ioe) { JOptionPane.showMessageDialog(this, ioe.toString(), "Error", JOptionPane.ERROR_MESSAGE ); }
	private void generateButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_generateButtonActionPerformed		if ("generate".equals( evt.getActionCommand() )) {			// Fail if no filename specified			if (filenameField.getText() == "") {				JOptionPane.showMessageDialog( this, "No output filename specified", "Error",						JOptionPane.ERROR_MESSAGE );			}			// 'Normal' case			else {				String dotCode = selectedClass.getStateMachine().dumpDot();				System.out.println( dotCode );				DotWriter.dotToPNG( dotCode, filenameField.getText() );			}		}		System.err.println("generateButton complete");		this.dispose();	}//GEN-LAST:event_generateButtonActionPerformed