A one-minute survey to help the Checker Framework developers

[Michael Ernst]

If you use the Checker Framework, could you please answer a 3-question survey about what JDK you use?
It will take less than 1 minute to complete.

Please answer it at https://docs.google.com/forms/d/1Bbt34c_3nDItHsBnmEfumoyrR-Zxhvo3VTHucXwfMcQ

Thank you!

                    -Mike

[Jo D]

Please note I'm blocked from participating. I'm behind a corporate firewall, and Google docs is blocked to prevent accidental data leakage (which is a real concern since we're a national financial infrastructure institution).

A polls page on some arbitrary web page would work, as would polling by mail, or here in the group.

Regards,

Jo

[Michael Ernst]

If you are unable to answer a Google Forms survey (say, due to a company policy that forbids you from using Google Docs), please email your response to checker-fr...@googlegroups.com.

Mike

--

---
You received this message because you are subscribed to the Google Groups "Checker Framework discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to checker-framework-...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/checker-framework-discuss/576ca8af-cc28-4505-ba34-0f7f4279d343n%40googlegroups.com.

[Michael Ernst]

The three questions on the survey are:

1. What is the main JVM that you use in production?

• JRE 7 or earlier
• JRE 8
• JRE 9 or 10
• JRE 11
• JRE 12-16

2. What is the main javac executable that you use during development?  Programmers use this to compile.  It does not necessarily create the .jar files that will run in production.  This is not a question about the -source, -target, or --release command-line arguments you supply while compiling.

• JDK 7
• JDK 8
• JDK 9 or 10
• JDK 11
• JDK 12-16

3. Optional comments

Thanks in advance for any additional answers to the survey.

Mike

[Durchholz, Joachim]

Okay, here we go:

 

1. JRE 11. No plans to use any non-LTE version ever.
2. JDK 11.
3. We have a somewhat special build environment:
1. We make our build super-stable, to the point that we download all tools from our Maven repo: Maven itself (Maven Wrapper), the JDK, other tools in the build chain that aren’t of interest to CF (the sole exception being a bootstrap JRE to./mvnw).
   Some developers take pride in having an almost tool-free workstation :-)
2. Our Maven builds use “--settings ./settings.xml” to communicate with the Maven repository.
   ~/.m2/settings.xml does not scale to workstations where a developer works with dozens of projects with different credentials, so developers have local settings.xml files.

 

Regards,

Jo

Sensitivity: C2 Internal

The content of this e-mail is intended only for the confidential use of the person addressed.
If you are not the intended recipient, please notify the sender and delete this e-mail immediately.
Thank you.

[Michael Ernst]

Please don't spam the discussion list with irrelevant email.

Survey responses should go to checker-fr...@googlegroups.com.

Thanks!

Mike

To view this discussion on the web visit https://groups.google.com/d/msgid/checker-framework-discuss/AM5PR0102MB2723DB01921F2F4791414C38B93E9%40AM5PR0102MB2723.eurprd01.prod.exchangelabs.com.