When opening "Other Workspace" and choosing maven, I get this error if the name in the pom.xml has spaces in it:
---------------------------
SlickEdit Pro
---------------------------
Unsupported extension for workspace filename. Can't open C:\Users\msilva\Documents\GitHub\ghprb-plugin\GitHub
---------------------------
OK
---------------------------
In particular the name is <name>GitHub Pull Request Builder</name>.
If I remove the spaces I do not get the error.
If I hit "OK", it still creates and opens a workspace. I wasn't sure if the workspace generated after the error would be complete or correct so I removed the spaces and used that generated workspace instead.
I also reproduced this error with v21.
