It doesn’t fail the whole Spoofax build, but there is probably a problem that should be solved..

The build log gives (with a few lines of context around the stacktrace):

[INFO] --- spoofax-maven-plugin:2.1.0-SNAPSHOT:package (default-package) @ org.metaborg.meta.lang.spt ---
[INFO] Packaging Spoofax language
Package language implementation ... succeeded - 5ms
Archive language implementation ... succeeded - 116ms
[INFO] Reloading language from: zip:file:///home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt/target/org.metaborg.meta.lang.spt-2.1.0-SNAPSHOT.spoofax-language!/
[INFO] 
[INFO] --- spoofax-maven-plugin:2.1.0-SNAPSHOT:verify (default-verify) @ org.metaborg.meta.lang.spt ---
[INFO] Running SPT tests
[INFO] Processing test suite file:///home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt


[ERROR] Unable to process file file:///home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt
org.apache.commons.vfs2.FileNotFoundException: Could not read from "file:///home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt" because it is not a file.
	at org.apache.commons.vfs2.provider.AbstractFileObject.getInputStream(AbstractFileObject.java:1309)
	at org.apache.commons.vfs2.provider.DefaultFileContent.getInputStream(DefaultFileContent.java:411)
	at org.metaborg.spt.core.SPTRunner.test(SPTRunner.java:55)
	at org.metaborg.spoofax.maven.plugin.mojo.language.VerifyMojo.execute(VerifyMojo.java:67)
	at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:134)
	at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:207)
	at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
	at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
	at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:116)
	at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:80)
	at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build(SingleThreadedBuilder.java:51)
	at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:128)
	at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:307)
	at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:193)
	at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:106)
	at org.apache.maven.cli.MavenCli.execute(MavenCli.java:863)
	at org.apache.maven.cli.MavenCli.doMain(MavenCli.java:288)
	at org.apache.maven.cli.MavenCli.main(MavenCli.java:199)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:497)
	at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced(Launcher.java:289)
	at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:229)
	at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode(Launcher.java:415)
	at org.codehaus.plexus.classworlds.launcher.Launcher.main(Launcher.java:356)
Caused by: java.io.FileNotFoundException: /home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt (Is a directory)
	at java.io.FileInputStream.open0(Native Method)
	at java.io.FileInputStream.open(FileInputStream.java:195)
	at java.io.FileInputStream.<init>(FileInputStream.java:138)
	at org.apache.commons.vfs2.provider.local.LocalFile.doGetInputStream(LocalFile.java:241)
	at org.apache.commons.vfs2.provider.AbstractFileObject.getInputStream(AbstractFileObject.java:1301)
	... 25 more


[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.metaborg.meta.lang.spt ---
[INFO] Installing /home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt/target/org.metaborg.meta.lang.spt-2.1.0-SNAPSHOT.spoofax-language to /home/jenkins/m2repos/3/org/metaborg/org.metaborg.meta.lang.spt/2.1.0-SNAPSHOT/org.metaborg.meta.lang.spt-2.1.0-SNAPSHOT.spoofax-language
[INFO] Installing /home/jenkins/workspace/spoofax-master/spt/org.metaborg.meta.lang.spt/.polyglot.metaborg.yaml to /home/jenkins/m2repos/3/org/metaborg/org.metaborg.meta.lang.spt/2.1.0-SNAPSHOT/org.metaborg.meta.lang.spt-2.1.0-SNAPSHOT.pom
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building org.metaborg.meta.lang.spt.interactive 2.1.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------

Submitted by Jeff Smits on 22 August 2016 at 13:21