To unsubscribe from this group and stop receiving emails from it, send an email to scala-ide-user+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/scala-ide-user/94c880e7-dabf-49fb-be3c-90d8f7de83ed%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/scala-ide-user/94c880e7-dabf-49fb-be3c-90d8f7de83ed%40googlegroups.com.
-Dsun.zip.disableMemoryMapping=true
To view this discussion on the web visit https://groups.google.com/d/msgid/scala-ide-user/bc678788-3620-4d8d-a886-86da6598a203%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.