my-app/ 0000755 0037472 0175000 00000000000 13640436533 012037 5 ustar lmcbout eusers my-app/.project 0000644 0037472 0175000 00000001027 13605640430 013500 0 ustar lmcbout eusers
my-app
org.eclipse.jdt.core.javabuilder
org.eclipse.m2e.core.maven2Builder
org.eclipse.jdt.core.javanature
org.eclipse.m2e.core.maven2Nature
my-app/.classpathOLD 0000644 0037472 0175000 00000003347 13605642006 014363 0 ustar lmcbout eusers
my-app/pom.xmlWithVersion 0000644 0037472 0175000 00000006653 13605637534 015575 0 ustar lmcbout eusers
4.0.0
com.mycompany.app
my-app
jar
1.0-SNAPSHOT
my-app
http://maven.apache.org
${org.checkerframework:jdk8:jar}
junit
junit
3.8.1
test
org.checkerframework
checker
1.9.4
org.checkerframework
checker-qual
1.9.4
org.checkerframework
jdk8
1.9.4
org.codehaus.mojo
exec-maven-plugin
1.2.1
java
com.mycompany.app.App
argument1
org.apache.maven.plugins
maven-shade-plugin
2.1
package
shade
com.mycompany.app.App
org.apache.maven.plugins
maven-dependency-plugin
2.3
properties
maven-compiler-plugin
2.3.2
1.8
1.8
true
org.checkerframework.checker.nullness.NullnessChecker
-Xbootclasspath/p:${annotatedJdk}
my-app/src/ 0000755 0037472 0175000 00000000000 13576217564 012637 5 ustar lmcbout eusers my-app/src/main/ 0000755 0037472 0175000 00000000000 13605640554 013553 5 ustar lmcbout eusers my-app/src/main/java/ 0000755 0037472 0175000 00000000000 13576220000 014457 5 ustar lmcbout eusers my-app/src/main/java/com/ 0000755 0037472 0175000 00000000000 13576220000 015235 5 ustar lmcbout eusers my-app/src/main/java/com/mycompany/ 0000755 0037472 0175000 00000000000 13576220000 017251 5 ustar lmcbout eusers my-app/src/main/java/com/mycompany/app/ 0000755 0037472 0175000 00000000000 13607654424 020051 5 ustar lmcbout eusers my-app/src/main/java/com/mycompany/app/App.java 0000644 0037472 0175000 00000001651 13627222267 021435 0 ustar lmcbout eusers package com.mycompany.app;
/**
* Hello world!
*
*/
public class App {
static int jacques = 7;
public static void main(String[] args) {
System.out.println("Hello World!");
Object myObject = null;
System.out.println("A NullPointerException is a drag...");
/**
* Checker prevents this from compiling...
*/
// System.out.println("myObject: " + myObject.toString());
/**
* ... which is simply fantastic. It shows:
*
* error: [dereference.of.nullable] dereference of possibly-null reference
* myObject
*
* http://checkerframework.org
*/
System.out.println("the value is " + jacques);
int j;
// System.out.println("... but thankfully, Checker has our back:
// http://checkerframework.org");
System.out.println("The test Hello World 909 is completed");
}
}
my-app/src/main/java/com/mycompany/app/App.class 0000644 0037472 0175000 00000001543 13614350252 021611 0 ustar lmcbout eusers ���� 4 6
! "
#
$ %
&
' ( ) * jacques I ()V Code LineNumberTable main ([Ljava/lang/String;)V
SourceFile App.java + , - Hello World! . / 0 #A NullPointerException is a drag... java/lang/StringBuilder
the value is 1 2 1 3 4 5 %The test Hello World 909 is completed com/mycompany/app/App java/lang/Object java/lang/System out Ljava/io/PrintStream; java/io/PrintStream println (Ljava/lang/String;)V append -(Ljava/lang/String;)Ljava/lang/StringBuilder; (I)Ljava/lang/StringBuilder; toString ()Ljava/lang/String; ! *� � b 6� � L� � � � Y� � �
� � � �
� �
- 5 �
� my-app/src/main/java/com/mycompany/app/App.javaOLD 0000644 0037472 0175000 00000000653 13605641542 021772 0 ustar lmcbout eusers package com.mycompany.app;
/**
* Hello world!
*
*/
public class App {
static int jacques = 7;
public static void main(String[] args) {
System.out.println("Hello World!");
Object myObject = null;
System.out.println("A NullPointerException is a drag...");
System.out.println("the value is " + jacques);
System.out.println("The test Hello World 909 is completed");
}
}
my-app/src/test/ 0000755 0037472 0175000 00000000000 13534466626 013615 5 ustar lmcbout eusers my-app/src/test/java/ 0000755 0037472 0175000 00000000000 13534466626 014536 5 ustar lmcbout eusers my-app/src/test/java/com/ 0000755 0037472 0175000 00000000000 13534466626 015314 5 ustar lmcbout eusers my-app/src/test/java/com/mycompany/ 0000755 0037472 0175000 00000000000 13534466626 017330 5 ustar lmcbout eusers my-app/src/test/java/com/mycompany/app/ 0000755 0037472 0175000 00000000000 13534466626 020110 5 ustar lmcbout eusers my-app/src/test/java/com/mycompany/app/AppTest.java 0000644 0037472 0175000 00000001205 13554341444 022321 0 ustar lmcbout eusers package com.mycompany.app;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;
/**
* Unit test for simple App.
*/
public class AppTest
extends TestCase
{
/**
* Create the test case
*
* @param testName name of the test case
*/
public AppTest( String testName )
{
super( testName );
}
/**
* @return the suite of tests being tested
*/
public static Test suite()
{
return new TestSuite( AppTest.class );
}
/**
* Rigourous Test :-)
*/
public void testApp()
{
assertTrue( true );
}
}
my-app/src/.settings/ 0000755 0037472 0175000 00000000000 13534467140 014544 5 ustar lmcbout eusers my-app/src/.settings/org.eclipse.m2e.core.prefs 0000644 0037472 0175000 00000000126 13554341444 021427 0 ustar lmcbout eusers activeProfiles=
eclipse.preferences.version=1
resolveWorkspaceProjects=true
version=1
my-app/.classpath 0000644 0037472 0175000 00000003346 13631510346 014023 0 ustar lmcbout eusers
my-app/pom.xml 0000644 0037472 0175000 00000006653 13631510345 013360 0 ustar lmcbout eusers
4.0.0
com.mycompany.app
my-app
jar
1.0-SNAPSHOT
my-app
http://maven.apache.org
${org.checkerframework:jdk8:jar}
junit
junit
3.8.1
test
org.checkerframework
checker
1.9.4
org.checkerframework
checker-qual
1.9.4
org.checkerframework
jdk8
1.9.4
org.codehaus.mojo
exec-maven-plugin
1.2.1
java
com.mycompany.app.App
argument1
org.apache.maven.plugins
maven-shade-plugin
2.1
package
shade
com.mycompany.app.App
org.apache.maven.plugins
maven-dependency-plugin
2.3
properties
maven-compiler-plugin
2.3.2
1.8
1.8
true
org.checkerframework.checker.nullness.NullnessChecker
-Xbootclasspath/p:${annotatedJdk}
my-app/.vscode/ 0000755 0037472 0175000 00000000000 13631756405 013403 5 ustar lmcbout eusers my-app/.vscode/settings.json 0000644 0037472 0175000 00000000203 13634135444 016126 0 ustar lmcbout eusers {
"java.dependency.syncWithFolderExplorer": true,
"java.dependency.packagePresentation": "flat",
"maven.view": "flat"
} my-app/.classpathTMP 0000644 0037472 0175000 00000003354 13605643660 014412 0 ustar lmcbout eusers
my-app/.theia/ 0000755 0037472 0175000 00000000000 13605637160 013207 5 ustar lmcbout eusers my-app/.theia/settings.json 0000644 0037472 0175000 00000002410 13634154567 015746 0 ustar lmcbout eusers {
"cpp.buildConfigurations": [
{
"name": "Liang test pref",
"directory": "${workspaceFolder}/",
"commands": {
"build": "sleep 5 && ls &"
}
},
{
"name": "JB Maven hello",
"directory": "${workspaceFolder/maven-hello-world",
"commands": {
"build": "mvn"
}
}
],
"editor.formatOnType": true,
"editor.formatOnPaste": true,
"editor.formatOnSave": true,
// "maven.terminal.customEnv": [
// {
// "environmentVariable": "JAVA_HOME", // variable name
// "value": "/usr/lib/jvm/java-8-openjdk-amd64" // value
// }
// ],
"maven.terminal.favorites": [
{
"alias": "full-build without tests",
"command": "clean package -DskipTests"
}
],
"maven.terminal.useJavaHome": true,
"maven.executable.preferMavenWrapper": true,
// "java.home": "/usr/lib/jvm/java-8-openjdk-amd64",
"maven.executable.path": "/usr/bin/mvn",
"java.configuration.updateBuildConfiguration": "automatic",
"java.dependency.packagePresentation": "hierarchical",
"java.dependency.syncWithFolderExplorer": false
} my-app/.theia/launch.json 0000644 0037472 0175000 00000004122 13632717016 015352 0 ustar lmcbout eusers {
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
"version": "0.2.0",
"configurations": [
{
"type": "java",
"name": "Debug (Launch)",
"request": "launch",
"cwd": "${workspaceFolder}",
"console": "internalConsole",
"stopOnEntry": false,
"mainClass": "",
"args": ""
},
{
"type": "java",
"name": "Debug (Launch)-App",
"request": "launch",
"cwd": "${workspaceFolder}",
"console": "internalConsole",
"stopOnEntry": false,
"mainClass": "com.mycompany.app.App",
"args": "",
"projectName": "my-app"
},
{
"type": "java",
"name": "Debug (Attach)",
"request": "attach",
"hostName": "localhost",
"port": ""
},
{
"type": "java",
"name": "LaunchApp",
"request": "launch",
"console": "internalConsole",
"projectName": "my-app",
"cwd": "${workspaceFolder}",
"mainClass": "com.mycompany.app.App"
},
{
"type": "java",
"name": "Hello MyApp",
"request": "launch",
"console": "externalTerminal",
"projectName": "my-app",
"cwd": "${workspaceFolder}",
"mainClass": "com.mycompany.app.App",
"stopOnEntry": false,
"args": ""
},
{
"name": "Debug Main Process",
"type": "node",
"request": "launch",
"cwd": "${workspaceFolder}",
"runtimeExecutable": "${workspaceFolder}/node_modules/.bin/electron",
"windows": {
"runtimeExecutable": "${workspaceFolder}/node_modules/.bin/electron.cmd"
},
"args": [
"."
],
"outputCapture": "std"
}
]
} my-app/.theia/settings.jsonOLD 0000644 0037472 0175000 00000000200 13576666776 016317 0 ustar lmcbout eusers {
"java.configuration.updateBuildConfiguration": "automatic",
"editor.autoSave": "on",
"editor.formatOnSave": true
} my-app/dependency-reduced-pom.xml 0000644 0037472 0175000 00000005332 13632151152 017074 0 ustar lmcbout eusers
4.0.0
com.mycompany.app
my-app
my-app
1.0-SNAPSHOT
http://maven.apache.org
org.codehaus.mojo
exec-maven-plugin
1.2.1
java
com.mycompany.app.App
argument1
maven-shade-plugin
2.1
package
shade
com.mycompany.app.App
maven-dependency-plugin
2.3
properties
maven-compiler-plugin
2.3.2
1.8
1.8
true
org.checkerframework.checker.nullness.NullnessChecker
-Xbootclasspath/p:${annotatedJdk}
junit
junit
3.8.1
test
${org.checkerframework:jdk8:jar}
my-app/.settings/ 0000755 0037472 0175000 00000000000 13535455412 013755 5 ustar lmcbout eusers my-app/.settings/org.eclipse.jdt.core.prefs 0000644 0037472 0175000 00000000737 13554341444 020746 0 ustar lmcbout eusers eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.compliance=1.8
org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore
org.eclipse.jdt.core.compiler.processAnnotations=disabled
org.eclipse.jdt.core.compiler.release=disabled
org.eclipse.jdt.core.compiler.source=1.8
my-app/.settings/org.eclipse.jdt.apt.core.prefs 0000644 0037472 0175000 00000000103 13554341444 021514 0 ustar lmcbout eusers eclipse.preferences.version=1
org.eclipse.jdt.apt.aptEnabled=false
my-app/.settings/org.eclipse.m2e.core.prefs 0000644 0037472 0175000 00000000126 13554341444 020640 0 ustar lmcbout eusers activeProfiles=
eclipse.preferences.version=1
resolveWorkspaceProjects=true
version=1
my-app/_copy.theia/ 0000755 0037472 0175000 00000000000 13560256444 014243 5 ustar lmcbout eusers my-app/_copy.theia/settings.json 0000644 0037472 0175000 00000002520 13560256444 016775 0 ustar lmcbout eusers {
"cpp.buildConfigurations": [
{
"name": "Liang test pref",
"directory": "${workspaceFolder}/",
"commands": {
"build": "sleep 5 && ls &"
}
},
{
"name": "JB Maven hello",
"directory": "${workspaceFolder/maven-hello-world",
"commands": {
"build": "mvn"
}
}
],
"editor.formatOnType": true,
"editor.formatOnPaste": true,
"editor.formatOnSave": true,
"maven.terminal.customEnv": [
{
"environmentVariable": "JAVA_HOME", // variable name
"value": "/usr/lib/jvm/java-8-openjdk-amd64" // value
}
],
"maven.terminal.favorites": [
{
"alias": "full-build without tests",
"command": "clean package -DskipTests"
}
],
"maven.terminal.useJavaHome": true,
"maven.executable.preferMavenWrapper": false,
"java.home": "/usr/lib/jvm/java-8-openjdk-amd64",
"maven.executable.path": "/usr/bin/mvn"
} my-app/_copy.theia/launch.json 0000644 0037472 0175000 00000004152 13560256444 016412 0 ustar lmcbout eusers {
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
"version": "0.2.0",
"configurations": [
{
"type": "java",
"name": "Debug (Launch)",
"request": "launch",
"cwd": "${workspaceFolder}",
"console": "internalConsole",
"stopOnEntry": false,
"mainClass": "",
"args": ""
},
{
"type": "java",
"name": "Debug (Launch)-App",
"request": "launch",
"cwd": "${workspaceFolder}",
"console": "internalConsole",
"stopOnEntry": false,
"mainClass": "com.mycompany.app.App",
"args": "",
"projectName": "my-app"
},
{
"type": "java",
"name": "Debug (Attach)",
"request": "attach",
"hostName": "localhost",
"port": ""
},
{
"type": "java",
"name": "LaunchApp",
"request": "launch",
"console": "internalConsole",
"projectName": "my-app",
"cwd": "${workspaceFolder}",
"mainClass": "com.mycompany.app.App"
},
{
"type": "java",
"name": "Hello MyApp",
"request": "launch",
"console": "externalTerminal",
"projectName": "my-app",
"cwd": "${workspaceFolder}",
"mainClass": "com.mycompany.app.App",
"stopOnEntry": false,
"args": ""
}
]
}