Complementando la respueta de M. Gress (lo siento, el sistema aún no me permite añadir comentarios)
Lo más ideal sería que hicieras una función para reducir el tamaño del código y también facilitar su mantenimiento y reutilización.
En concreto, una función similar a esta
private double StringToDouble (String valor) {
if(valor==null || valor.equals(""))
{
return 0;
}
return Double.parseDouble(valor);
}
Así pues, la modificación quedaría más limpia de leer
pro1=StringToDouble(num1.getText());
Editado añadiendo cambios sugeridos por Luiggi Mendoza