The user ID of the Github account The author name used for Github commits The email address associated with Github commits form https://github.com/session PHPSESSID login password authenticity_token utf8 commit password login=anonymous\&.* $${github.user.id} $${value} ✓ Sign in Valid password for $${form.parameter.login} at $${form.url}. Validate the password for $${form.parameter.login} at $${form.url}. Unable to validate the password for $${form.parameter.login} because $${form.url} is unreachable. Invalid password for $${form.parameter.login} at $${form.url}. Choose from the available Github URIs Stream to checkout Define the JRE needed to compile and run the Java projects of ${scope.project.label} Set the heap space needed to work with the projects of ${scope.project.label} Initialize JDT's package explorer to show working sets as its root objects Install the tools needed in the IDE to work with the source code for ${scope.project.label} github.remoteURIs ${scope.project.label} Git repository remoteURI ${scope.project.label} The dynamic working sets for ${scope.project.label} Sets the RDL Editor target platform A lightweight tool to visualize VCD and transaction traces.