diff --git a/src/jls/elem/JumpStart.java b/src/jls/elem/JumpStart.java
index aad8baf..9ae4b3c 100755
--- a/src/jls/elem/JumpStart.java
+++ b/src/jls/elem/JumpStart.java
@@ -521,12 +521,6 @@ public void actionPerformed(ActionEvent event) {
 			// then check name for validity
 			if (event.getSource() == ok || event.getSource() == nameField) {
 				String tname = nameField.getText();
-				if (!Util.isValidName(tname)) {
-					JOptionPane.showMessageDialog(this,
-							"Invalid name", "Error",
-							JOptionPane.ERROR_MESSAGE);
-					return;
-				}
 				try {
 					bits = Integer.parseInt(bitsField.getText());
 				}